flex-info.patch

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