diff options
Diffstat (limited to 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 17def904875..12338e0ed0c 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -96,6 +96,9 @@ nusphere.pdf: manual.texi # Target to produce DocBook XML mysql.xml: manual.texi include.texi $(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 # The texi2dvi gives a lot of harmless errors. Just ignore them unless # you want to help with the typesetting part. |