diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -23,8 +23,8 @@ says one thing but gawk does something different. To format the documentation with TeX, use at least version 2017-09.16 of texinfo.tex. There is a usable copy of texinfo.tex in the doc directory. -You should also use at least version 6.5 of texindex and of makeinfo -from the texinfo-6.5 distribution. +You must also use at least version 6.7 of texindex and of makeinfo +from the texinfo-6.7 distribution. INSTALLATION: |