diff options
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/gawk.texi | 5 | ||||
| -rw-r--r-- | doc/gawkinet.texi | 5 | ||||
| -rw-r--r-- | doc/gawktexi.in | 5 |
4 files changed, 20 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 68f06300..9fe1a706 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2016-04-04 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in, gawkinet.texi: Enable use of braces in + indexes. Requires Texinfo 6.0 or later. + 2016-03-27 Arnold D. Robbins <arnold@skeeve.com> * gawkinet.texi: Small update about end of line vs full diff --git a/doc/gawk.texi b/doc/gawk.texi index 8c515a32..23a25298 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -19,6 +19,11 @@ * awk: (gawk)Invoking gawk. Text scanning and processing. @end direntry +@c Enable better indexing, requires texindex from Texinfo 6 or later. +@tex +\global\usebracesinindexestrue +@end tex + @ifset FOR_PRINT @tex \gdef\xrefprintnodename#1{``#1''} diff --git a/doc/gawkinet.texi b/doc/gawkinet.texi index 0e0632a2..94f5f493 100644 --- a/doc/gawkinet.texi +++ b/doc/gawkinet.texi @@ -10,6 +10,11 @@ * Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'. @end direntry +@c Enable better indexing, requires texindex from Texinfo 6 or later. +@tex +\global\usebracesinindexestrue +@end tex + @iftex @set DOCUMENT book @set CHAPTER chapter diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 3e0f6bba..e43d7137 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -14,6 +14,11 @@ * awk: (gawk)Invoking gawk. Text scanning and processing. @end direntry +@c Enable better indexing, requires texindex from Texinfo 6 or later. +@tex +\global\usebracesinindexestrue +@end tex + @ifset FOR_PRINT @tex \gdef\xrefprintnodename#1{``#1''} |