changeset 9767:05802ff94555

Talk about "header file", not "header".
author Bruno Haible <bruno@clisp.org>
date Thu, 06 Mar 2008 18:46:20 +0100
parents bef0d9fb5b1b
children 09c516191639
files doc/gnulib.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -2905,7 +2905,7 @@
 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::