diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:35:23 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:35:23 +0300 |
| commit | 525d6122c57db7b5f193b1fc22dc680a44f6c962 (patch) | |
| tree | 99df61cb7cd5ef99d4b9c6de97a020c3e7499179 | |
| parent | 2ca6fd0026a03da5ac6a658fd744f90dde374ce5 (diff) | |
| parent | 2adf64c7b99ec6e8d1e4689b6484ace5295580b6 (diff) | |
| download | egawk-525d6122c57db7b5f193b1fc22dc680a44f6c962.tar.gz egawk-525d6122c57db7b5f193b1fc22dc680a44f6c962.tar.bz2 egawk-525d6122c57db7b5f193b1fc22dc680a44f6c962.zip | |
Merge branch 'master' into feature/cmake
| -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''} |