diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 1 | ||||
| -rw-r--r-- | doc/gawk.texi | 5 | ||||
| -rw-r--r-- | doc/gawktexi.in | 5 |
3 files changed, 3 insertions, 8 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index d3afeed8..d368c606 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -3,6 +3,7 @@ * gawktexi.in: Fixes in wc.awk and in cut.awk. Thanks to David Ward, dlward134@gmail.com. Added an example of use of rewind(), also per suggestion from David Ward. + * gawktexi.in: Update info about Texinfo versions. 2016-02-14 Arnold D. Robbins <arnold@skeeve.com> 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 diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 5f60af39..d0376304 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -220,10 +220,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 |