- standarization to "* text: (link). description" index info entries format.

Changed files:
    flex-info.patch -> 1.2

diff --git a/flex-info.patch b/flex-info.patch
index 5a6afbb39df2eac7110861d24b4a6bbf8eb42f9c..e2a7bc0826b37a81c739c81d93e6b28bd7090a52 100644 (file)
--- a/flex-info.patch
+++ b/flex-info.patch
@@ -10,7 +10,7 @@ diff -Nru flex-2.5.4/MISC/texinfo/flex.texi flex-2.5.4.new/MISC/texinfo/flex.tex
 -END-INFO-DIR-ENTRY
 +@dircategory Programming tools:
 +@direntry
-+* Flex: (flex)                                A fast scanner generator.
++* Flex: (flex).                               A fast scanner generator
 +@end direntry
  @end format
  @end ifinfo