about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-11-01T14·42+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-11-01T14·42+0000
commit5f8a203b556c649ef25b4b855ee795b6cff23e98 (patch)
treed2b7fb47ad3f089f4bd4d8dfcbaad1e363097545 /doc/manual
parent1511aa11ce8a529ebf7210a9090653a7d7e885d8 (diff)
* A rule to make a PDF version of the manual.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/Makefile.am8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index ac030ee56ad8..1011ee7aa1b2 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -47,6 +47,14 @@ manual.html: $(MANUAL_SRCS) manual.is-valid images
 	$(XSLTPROC) --nonet --xinclude --output manual.html \
 	  $(docbookxsl)/html/docbook.xsl manual.xml
 
+manual.pdf: $(MANUAL_SRCS) manual.is-valid images
+	if test "$(dblatex)" != ""; then \
+		$(dblatex) manual.xml; \
+	else \
+		echo "Please install dblatex and rerun configure."; \
+		exit 1; \
+	fi
+
 
 NEWS_OPTS = \
  --stringparam generate.toc "article nop" \