# HG changeset patch
# User Bruno Haible <bruno@clisp.org>
# Date 1204825580 -3600
# Node ID 05802ff94555dfb84d7e5e518440949c8008f2ed
# Parent  bef0d9fb5b1bd04ccdae6abaaa7bc557af692d79
Talk about "header file", not "header".

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
--- 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::