mysql-info.patch

   1 --- mysql-4.1.12/Docs/mysql.info~       2005-05-16 08:05:46.000000000 +0300
   2 +++ mysql-4.1.12/Docs/mysql.info        2005-05-16 08:06:36.000000000 +0300
   3 @@ -1,8 +1,9 @@
   4  This is mysql.info, produced by makeinfo version 4.7 from manual.texi.
   5
   6 -START-INFO-DIR-ENTRY
   7 -* mysql: (mysql).               MySQL documentation.
   8 -END-INFO-DIR-ENTRY
   9 +@dircategory Data bases:
  10 +@direntry
  11 +* mysql: (mysql).                      MySQL documentation
  12 +@end direntry
  13
  14  \1f
  15  File: mysql.info,  Node: Top,  Next: Introduction,  Prev: (dir),  Up: (dir)