diff options
Diffstat (limited to 'doc/gawkinet.texi')
| -rw-r--r-- | doc/gawkinet.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/gawkinet.texi b/doc/gawkinet.texi index 143ec46f..7b26c787 100644 --- a/doc/gawkinet.texi +++ b/doc/gawkinet.texi @@ -10,11 +10,6 @@ * awkinet: (gawkinet). TCP/IP Internetworking With `gawk'. @end direntry -@c Enable better indexing, requires texindex from Texinfo 6 or later. -@tex -\global\usebracesinindexestrue -@end tex - @iftex @set DOCUMENT book @set CHAPTER chapter |