On Mon, 5 Jan 2015, Sandra Loosemore wrote:
> @file is used for file names.
For standard headers, the use of @code{<header.h>} (inttypes.h and
limits.h, in this patch) is deliberate, reflecting that the C standard
does not require headers to correspond to files and that the use of files
to implement those headers is an implementation detail.
(Thus, for example, GCC provides @file{stdint-gcc.h} and
@file{stdint-wrap.h}, which may be used as part of the implementation of
the standard header @code{<stdint.h>}; GCC installs a file @file{limits.h}
which implements the standard @code{<limits.h>} in a complicated
interaction with any @file{limits.h} installed by the system C library.)
--
Joseph S. Myers
jos...@codesourcery.com
