diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 3d90cd97..0e762565 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -225,10 +225,7 @@ @ignore Some comments on the layout for TeX. -1. Use at least texinfo.tex 2014-01-30.15 -2. When using @docbook, if the last line is part of a paragraph, end -it with a space and @c so that the lines won't run together. This is a -quirk of the language / makeinfo, and isn't going to change. +1. Use at least texinfo.tex 2016-02-05.07. @end ignore @c merge the function and variable indexes into the concept index |