From d9ee621fd418f4caca0d12676db3db3368181987 Mon Sep 17 00:00:00 2001 From: pius Date: Fri, 17 Sep 1999 22:07:09 +0000 Subject: [PATCH] - standarization to "* text: (link). description" index info entries format. Changed files: flex-info.patch -> 1.2 --- flex-info.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flex-info.patch b/flex-info.patch index 5a6afbb..e2a7bc0 100644 --- 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 -- 2.44.0