--- mysql-3.23.42/Docs/manual.texi.orig Sat Sep 8 21:08:16 2001 +++ mysql-3.23.42/Docs/manual.texi Mon Sep 10 11:10:41 2001 @@ -56,9 +56,10 @@ @ifinfo @format -START-INFO-DIR-ENTRY -* mysql: (mysql). MySQL documentation. -END-INFO-DIR-ENTRY +@dircategory Data bases: +@direntry +* mysql: (mysql). MySQL documentation +@end direntry @end format @end ifinfo