Talk about "header file", not "header".

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 16cf858f211be63118ab6a61b488437d5e43d447..fa4a68ebc7cca93fb5b38f4204710f5a8f7ec078 100644 (file)
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -2905,7 +2905,7 @@ specified by ISO C or POSIX are substituted by Gnulib, which portability
 pitfalls are fixed by Gnulib, and which (known) portability problems are
 not worked around by Gnulib.
 
 pitfalls are fixed by Gnulib, and which (known) portability problems are
 not worked around by Gnulib.
 

-@nosuchmodulenote header
+@nosuchmodulenote header file

 
 @menu
 * a.out.h::
 
 @menu
 * a.out.h::