1 files changed, 0 insertions, 5 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 05eb41b9..cee76105 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -14,11 +14,6 @@
 * 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''}