EOF

Недавно начал познавать язык C.
В книге Кернигана и Ричи есть пример программы, выводящей на экран всё, что вводится с клавиатуры:

#include <stdio.h>

/* копирование ввода на вывод */

main()
{
    int c;

    while ((c = getchar()) != EOF)
    {
        putchar(c);
    }
}

Программа копирует вводимые данные, но я не могу понять, при каких загадочных условиях должен наступать end of file.