--- bison-2.6.1/doc/bison.texi.orig 2011-05-15 00:17:12.000000000 +0200 +++ bison-2.6.1/doc/bison.texi 2011-05-17 17:15:02.281008949 +0200 @@ -52,9 +52,9 @@ @end quotation @end copying -@dircategory Software development +@dircategory Programming tools: @direntry -* bison: (bison). GNU parser generator (Yacc replacement). +* bison: (bison). GNU parser generator (Yacc replacement) @end direntry @titlepage