diff options
Diffstat (limited to 'Docs/Support/make-docbook')
| -rwxr-xr-x | Docs/Support/make-docbook | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Docs/Support/make-docbook b/Docs/Support/make-docbook index 90c1696e92b..93dbc56c0f8 100755 --- a/Docs/Support/make-docbook +++ b/Docs/Support/make-docbook @@ -17,7 +17,8 @@ sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi # produce DocBook XML - makeinfo --force --no-ifinfo --docbook -o - manual.texi |\ + Support/docbook-prefix.pl < manual.texi |\ + makeinfo --force --no-ifinfo --docbook -o - |\ Support/docbook-fixup.pl > mysql.xml # See if the XML output is well-formed |