diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-01T14·42+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-01T14·42+0000 |
| commit | 5f8a203b556c649ef25b4b855ee795b6cff23e98 (patch) | |
| tree | d2b7fb47ad3f089f4bd4d8dfcbaad1e363097545 /doc/manual | |
| parent | 1511aa11ce8a529ebf7210a9090653a7d7e885d8 (diff) | |
* A rule to make a PDF version of the manual.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile.am | 8 |
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" \ |