Duda de lenguaje C

Para que sirve EOF en c y que valor tiene? se le puede dar un valor manualmente?

#include<stdio.h>
int main() {
int c;
printf("\nIngrese un caracter ");
c=getchar();
while (c!=EOF) {
putchar(c);
printf("\nIngrese un caracter ");
c=getchar();
}
putchar(c);
printf("\nTermin\xA2 el programa");
return 0;
}

por ejemplo este programa no se porque me imprime 2 veces el "ingrese un caracter" me aparece uno con el valor que ingreso y el otro vacio... igual mi duda principal es saber que es EOF que valor tiene...