@c ----------------------------------------------------------------------
@node EOF, stdio
@heading @code{EOF}
@subheading Syntax

@example
#include <stdio.h>

if (c == EOF)
@end example

@subheading Description

This macro defines the value returned by stdio functions to indicate
that the end of the file has been reached.  Note that variables
expected to hold this value must be wider than characters; EOF does
not match any character value.

@subheading Example

int c;
while ((c = getchar()) != EOF)
  do_it(c);

@example
@end example

