From c46f888fe39fd93166cdc6ded6cbd04da1b2b836 Mon Sep 17 00:00:00 2001
From: "serg@serg.mylan" <>
Date: Mon, 28 Jul 2003 17:50:06 +0200
Subject: [PATCH] Followup to Jim's changes in mysqldoc tree. Unfortunately,
 it's too late for 4.0.14 :(

---
 Docs/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Docs/Makefile.am b/Docs/Makefile.am
index 26249028539..17450c3b072 100644
--- a/Docs/Makefile.am
+++ b/Docs/Makefile.am
@@ -40,10 +40,10 @@ paper: manual_a4.ps manual_letter.ps  $(PDFMANUAL)
 # The Makefile contains the previous version so we can not use that
 include.texi:	../configure.in
 	echo "@c This file is autogenerated by the Makefile" > $@
-	echo -n "@set mysql_version " >> $@
+	echo -n "@set mysqlversion " >> $@
 	grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \
 	 sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> $@
-	echo -n "@set default_port " >> $@
+	echo -n "@set defaultport " >> $@
 	grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \
 	 sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> $@