]> git.pld-linux.org Git - packages/flex.git/blame - flex-info.patch
- standarization to "* text: (link). description" index info entries format.
[packages/flex.git] / flex-info.patch
CommitLineData
76b609a7 1diff -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
d9ee621f 13+* Flex: (flex). A fast scanner generator
76b609a7 14+@end direntry
15 @end format
16 @end ifinfo
17
This page took 0.0313 seconds and 4 git commands to generate.