diff options
Diffstat (limited to 'doc/gawkinet.texi')
| -rw-r--r-- | doc/gawkinet.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/gawkinet.texi b/doc/gawkinet.texi index 0e0632a2..94f5f493 100644 --- a/doc/gawkinet.texi +++ b/doc/gawkinet.texi @@ -10,6 +10,11 @@ * Gawkinet: (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 |