Commit 0f85fb67 authored by unknown's avatar unknown
Browse files

Followup to Jim's changes in mysqldoc tree. Unfortunately, it's too late for 4.0.14 :(

parent ce890a1d

Docs/Makefile.am

+2 −2
Original line number Diff line number Diff line
@@ -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=;;' >> $@