diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:32:40 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:32:40 +0300 |
| commit | 2adf64c7b99ec6e8d1e4689b6484ace5295580b6 (patch) | |
| tree | d24e2c929e302ea1d6af79e8cc1804aba0db303c | |
| parent | 80841bfbe180589bfc3d66d15792994d28490702 (diff) | |
| parent | 7a1dafd29d4ec5d8868f5ea376a99422a9282cdb (diff) | |
| download | egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.tar.gz egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.tar.bz2 egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.zip | |
Merge branch 'gawk-4.1-stable'
| -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''} |