diff options
Diffstat (limited to 'doc/manual/Makefile.am')
| -rw-r--r-- | doc/manual/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 432dd6bde507..3a41e24fc178 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -8,6 +8,10 @@ XSLTPROC = $(xsltproc) $(xmlflags) \ --param admon.style \'\' \ --param callout.graphics.extension \'.gif\' +dblatex_opts = \ + -P doc.collab.show=0 \ + -P latex.output.revhistory=0 + # Note: we use GIF for now, since the PNGs shipped with Docbook aren't # transparent. @@ -50,7 +54,7 @@ manual.html: $(MANUAL_SRCS) manual.is-valid images manual.pdf: $(MANUAL_SRCS) manual.is-valid images if test "$(dblatex)" != ""; then \ - $(dblatex) manual.xml; \ + $(dblatex) $(dblatex_opts) manual.xml; \ else \ echo "Please install dblatex and rerun configure."; \ exit 1; \ |