about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-07-10T13·42+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-07-10T13·42+0000
commit1f169f43b31d02c1fad39df16bb4e61c8cb593df (patch)
treeae1bb1c084b61d18f50ccb7a66e6dc061af4afc1 /doc
parent5e2e2f10efab3ba3e0504fb4d1b374a57dfaeb0c (diff)
* Leave out the collaborators / revision history page.
Diffstat (limited to 'doc')
-rw-r--r--doc/manual/Makefile.am6
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; \