From cff97834265a2dba55ef4b75cdfc329bbcf4b4a8 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Thu, 6 Mar 2008 18:46:20 +0100 Subject: [PATCH] Talk about "header file", not "header". --- doc/gnulib.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/gnulib.texi b/doc/gnulib.texi index 16cf858f21..fa4a68ebc7 100644 --- 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:: -- 2.30.2