mysql-info.patch

   1 --- mysql-3.23.42/Docs/manual.texi.orig Sat Sep  8 21:08:16 2001
   2 +++ mysql-3.23.42/Docs/manual.texi      Mon Sep 10 11:10:41 2001
   3 @@ -56,9 +56,10 @@
   4
   5  @ifinfo
   6  @format
   7 -START-INFO-DIR-ENTRY
   8 -* mysql: (mysql).               MySQL documentation.
   9 -END-INFO-DIR-ENTRY
  10 +@dircategory Data bases:
  11 +@direntry
  12 +* mysql: (mysql).                      MySQL documentation
  13 +@end direntry
  14  @end format
  15  @end ifinfo
  16