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.
 
-@nosuchmodulenote header
+@nosuchmodulenote header file
 
 @menu
 * a.out.h::