Changed files:
mysql-info.patch -> 1.5
---- 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 @@
+--- mysql-4.1.12/Docs/mysql.info~ 2005-05-16 08:05:46.000000000 +0300
++++ mysql-4.1.12/Docs/mysql.info 2005-05-16 08:06:36.000000000 +0300
+@@ -1,8 +1,9 @@
+ This is mysql.info, produced by makeinfo version 4.7 from manual.texi.
- @ifinfo
- @format
-START-INFO-DIR-ENTRY
-* mysql: (mysql). MySQL documentation.
-END-INFO-DIR-ENTRY
+@direntry
+* mysql: (mysql). MySQL documentation
+@end direntry
- @end format
- @end ifinfo
+ \1f
+ File: mysql.info, Node: Top, Next: Introduction, Prev: (dir), Up: (dir)