From: Bruno Haible Date: Fri, 27 Apr 2007 22:54:42 +0000 (+0000) Subject: texinfo syntax fix. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb58f35de0a8b08f284d72a88ca831a4c95212ea;p=pspp texinfo syntax fix. --- diff --git a/doc/headers/grp.texi b/doc/headers/grp.texi index fe519db72d..923f2fbd2a 100644 --- a/doc/headers/grp.texi +++ b/doc/headers/grp.texi @@ -11,6 +11,7 @@ Portability problems fixed by Gnulib: Portability problems not fixed by Gnulib: @itemize +@item This header file is missing on some platforms: mingw. @end itemize