mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
24 lines
950 B
Bash
Executable file
24 lines
950 B
Bash
Executable file
#!/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 -o - manual.texi |\
|
|
Support/docbook-fixup.pl > mysql.xml
|
|
|
|
# See if the XML output is well-formed
|
|
xmlwf mysql.xml
|
|
|
|
# If all is well, keep processing
|
|
cat mysql.xml | Support/colspec-fix.pl | Support/docbook-split;
|
|
|