[packages/flex.git] / flex-info.patch

--- flex-2.5.31/doc/flex.texi.orig	2003-03-27 19:02:59.000000000 +0100
+++ flex-2.5.31/doc/flex.texi	2003-06-19 00:32:50.000000000 +0200
@@ -7,9 +7,9 @@
 @defindex hk
 @c  "Options" index
 @defindex op
-@dircategory Programming
+@dircategory Programming tools:
 @direntry
-* flex: (flex).      Fast lexical analyzer generator (lex replacement).
+* flex: (flex).				Fast lexical analyzer generator
 @end direntry
 @c %**end of header
Commit	Line	Data
42ac3cd4 JB	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
76b609a7	8	+@dircategory Programming tools:
42ac3cd4 JB	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
76b609a7	14