--- flex-2.5.31/doc/flex.texi.orig	2003-03-27 19:02:59.000000000 +0100
+++ flex-2.5.31/doc/flex.texi	2003-06-19 00:32:50.000000000 +0200
@@ -7,9 +7,9 @@
 @defindex hk
 @c  "Options" index
 @defindex op
-@dircategory Programming
+@dircategory Programming tools:
 @direntry
-* flex: (flex).      Fast lexical analyzer generator (lex replacement).
+* flex: (flex).				Fast lexical analyzer generator
 @end direntry
 @c %**end of header