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 /doc/gawktexi.in | |
| parent | 80841bfbe180589bfc3d66d15792994d28490702 (diff) | |
| parent | 7a1dafd29d4ec5d8868f5ea376a99422a9282cdb (diff) | |
| download | egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.tar.gz egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.tar.bz2 egawk-2adf64c7b99ec6e8d1e4689b6484ace5295580b6.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 5 |
1 files changed, 5 insertions, 0 deletions
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''} |