- fix flex info index entry.

Changed files:
    flex-info.patch -> 1.1

diff --git a/flex-info.patch b/flex-info.patch
new file mode 100644 (file)
index 0000000..5a6afbb
--- /dev/null
+++ b/flex-info.patch
@@ -0,0 +1,17 @@
+diff -Nru flex-2.5.4/MISC/texinfo/flex.texi flex-2.5.4.new/MISC/texinfo/flex.texi
+--- flex-2.5.4/MISC/texinfo/flex.texi  Sun Jul 27 04:47:21 1997
++++ flex-2.5.4.new/MISC/texinfo/flex.texi      Thu Dec 31 12:54:53 1998
+@@ -15,9 +15,10 @@
+ 
+ @ifinfo
+ @format
+-START-INFO-DIR-ENTRY
+-* Flex: (flex).         A fast scanner generator.
+-END-INFO-DIR-ENTRY
++@dircategory Programming tools:
++@direntry
++* Flex: (flex)                                A fast scanner generator.
++@end direntry
+ @end format
+ @end ifinfo
+