- error redirection merged from MYSQL_4_00 branch

[packages/mysql.git] / mysql-info.patch

diff --git a/mysql-info.patch b/mysql-info.patch
index 00cdded01c609836fcf8ee9fd033c1de9b68d465..ec23eb1812bad31446a83ec40ba5faa7ff34c1b4 100644 (file)
--- a/mysql-info.patch
+++ b/mysql-info.patch
@@ -1,16 +1,15 @@
-diff -ru mysql-3.22.30/Docs/manual.texi mysql-3.22.30.AX/Docs/manual.texi
---- mysql-3.22.30/Docs/manual.texi     Tue Jan 11 18:38:47 2000
-+++ mysql-3.22.30.AX/Docs/manual.texi  Sun Jan 23 10:34:31 2000
-@@ -28,9 +28,10 @@
+--- 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).               @strong{MySQL} documentation.
+-* mysql: (mysql).               MySQL documentation.
 -END-INFO-DIR-ENTRY
 +@dircategory Data bases:
 +@direntry
-+* mysql: (mysql).              @strong{MySQL} documentation
++* mysql: (mysql).                     MySQL documentation
 +@end direntry
  @end format
  @end ifinfo