diff options
Diffstat (limited to 'doc/manual/Makefile')
| -rw-r--r-- | doc/manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/Makefile b/doc/manual/Makefile index a43c02545..341ab55e2 100644 --- a/doc/manual/Makefile +++ b/doc/manual/Makefile @@ -45,7 +45,7 @@ endif $(call command,xsltproc --stringparam base.dir $@/ $(if $(htmlcssfile),--stringparam html.stylesheet $(htmlcssfile)) $(htmlxsl) $(manual),XSLTPROC $@ $(manual)) $(xmltotypes): $(manual) - $(call command,xmlto --extensions -o $(topdir)/$@ $@ $(manual),XMLTO $@ $(manual)) + $(call command,xmlto --with-dblatex --extensions -o $(topdir)/$@ $@ $(manual),XMLTO $@ $(manual)) clean: rm -rf $(cleanfiles) |