From 1f169f43b31d02c1fad39df16bb4e61c8cb593df Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 10 Jul 2009 13:42:12 +0000
Subject: * Leave out the collaborators / revision history page.

---
 doc/manual/Makefile.am | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc/manual')

diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 432dd6bde5..3a41e24fc1 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; \
-- 
cgit 1.4.1