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''}