aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawktexi.in
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2016-04-04 06:29:22 +0300
committerArnold D. Robbins <arnold@skeeve.com>2016-04-04 06:29:22 +0300
commit7a1dafd29d4ec5d8868f5ea376a99422a9282cdb (patch)
tree3e36f4280d713040e304758c7eaeb5f42d15c39e /doc/gawktexi.in
parent74824b0b51cacfc952abb11428c4108afb9e7194 (diff)
downloadegawk-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.in5
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''}