flex-info.patch

   1 diff -Nru flex-2.5.4/MISC/texinfo/flex.texi flex-2.5.4.new/MISC/texinfo/flex.texi
   2 --- flex-2.5.4/MISC/texinfo/flex.texi   Sun Jul 27 04:47:21 1997
   3 +++ flex-2.5.4.new/MISC/texinfo/flex.texi       Thu Dec 31 12:54:53 1998
   4 @@ -15,9 +15,10 @@
   5
   6  @ifinfo
   7  @format
   8 -START-INFO-DIR-ENTRY
   9 -* Flex: (flex).         A fast scanner generator.
  10 -END-INFO-DIR-ENTRY
  11 +@dircategory Programming tools:
  12 +@direntry
  13 +* Flex: (flex)                         A fast scanner generator.
  14 +@end direntry
  15  @end format
  16  @end ifinfo
  17