+@dircategory Programming languages:
@direntry
-* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
-+* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
++* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'
@end direntry
@iftex