diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 8a523389..59e06a08 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''} |