diff options
| -rw-r--r-- | .bzrignore | 1 | ||||
| -rwxr-xr-x | Docs/Support/docbook-fixup.pl | 5 | ||||
| -rwxr-xr-x | Docs/Support/make-docbook | 19 |
3 files changed, 25 insertions, 0 deletions
diff --git a/.bzrignore b/.bzrignore index 74d42b6b0fe..963e62ddd45 100644 --- a/.bzrignore +++ b/.bzrignore @@ -458,3 +458,4 @@ vio/test-ssl vio/test-sslclient vio/test-sslserver vio/viotest-ssl +Docs/mysql.xml diff --git a/Docs/Support/docbook-fixup.pl b/Docs/Support/docbook-fixup.pl index eb3c3018baf..f7f8c301cb7 100755 --- a/Docs/Support/docbook-fixup.pl +++ b/Docs/Support/docbook-fixup.pl @@ -37,6 +37,11 @@ print STDERR "Fixing spacing problem with titles...\n"; $data =~ s{</(\w+)>(\w{2,})} {</$1> $2}gs; +# 2002-01-30 arjen@mysql.com +print STDERR "Removing COLSPEC...\n"; +$data =~ s{\n *<colspec colwidth=\"[0-9]+\*\">} + {}gs; + @apx = ("Users", "MySQL Testimonials", "News", "GPL-license", "LGPL-license"); diff --git a/Docs/Support/make-docbook b/Docs/Support/make-docbook new file mode 100755 index 00000000000..2904eef4926 --- /dev/null +++ b/Docs/Support/make-docbook @@ -0,0 +1,19 @@ +#!/bin/sh +# 2002-01-30 arjen@mysql.com +# Use this to create mysql.xml (the DocBook XML format output of manual.texi) +# Requires makeinfo 4.0c + +#create include.texi with version/port # + echo "@c This file is autogenerated by the Makefile" > include.texi + echo -n "@set mysql_version " >> include.texi + grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \ + sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> include.texi + echo -n "@set default_port " >> include.texi + grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \ + sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi + +# produce DocBook XML + makeinfo --force --no-ifinfo --docbook manual.texi + mv mysql.xml mysql-tmp.xml + Support/docbook-fixup.pl <mysql-tmp.xml >mysql.xml + rm -f mysql-tmp.xml |