diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-10T13·42+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-10T13·42+0000 |
| commit | 1f169f43b31d02c1fad39df16bb4e61c8cb593df (patch) | |
| tree | ae1bb1c084b61d18f50ccb7a66e6dc061af4afc1 /doc | |
| parent | 5e2e2f10efab3ba3e0504fb4d1b374a57dfaeb0c (diff) | |
* Leave out the collaborators / revision history page.
Diffstat (limited to 'doc')
| -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; \ |