diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:29:22 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-04 06:29:22 +0300 |
commit | 7a1dafd29d4ec5d8868f5ea376a99422a9282cdb (patch) | |
tree | 3e36f4280d713040e304758c7eaeb5f42d15c39e /doc/gawktexi.in | |
parent | 74824b0b51cacfc952abb11428c4108afb9e7194 (diff) | |
download | egawk-7a1dafd29d4ec5d8868f5ea376a99422a9282cdb.tar.gz egawk-7a1dafd29d4ec5d8868f5ea376a99422a9282cdb.tar.bz2 egawk-7a1dafd29d4ec5d8868f5ea376a99422a9282cdb.zip |
Use braces in indexes in the documentation.
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 84b62a40..cd240a43 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''} |