diff options
| author | Alistair Thomas <astavale@yahoo.co.uk> | 2017-03-11 22:52:00 +0000 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-12 14:19:38 +0100 |
| commit | 8e70fb8a0e3af770d4e2d43df60408f611a179b3 (patch) | |
| tree | d2c13e714522e1b389154a65016f44b9ea5095b6 /doc/manual | |
| parent | dcb8e4aab35db8437e771880dae1ad24ba709738 (diff) | |
| download | vala-8e70fb8a0e3af770d4e2d43df60408f611a179b3.tar.gz | |
manual: Add pdf target that uses WeasyPrint
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/.gitignore | 1 | ||||
| -rw-r--r-- | doc/manual/Makefile.am | 13 |
2 files changed, 14 insertions, 0 deletions
diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore index fbf57b271..f0b379c98 100644 --- a/doc/manual/.gitignore +++ b/doc/manual/.gitignore @@ -1,4 +1,5 @@ manual.html +manual.pdf version.xml devhelp/ html/ diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 1791d908c..837291f23 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -48,12 +48,25 @@ manual.html: manual.xml version.xml common.xsl print.xsl default.css $(srcdir)/print.xsl \ $(srcdir)/manual.xml +if HAVE_WEASYPRINT +pdf: manual.pdf +manual.pdf: manual.html default.css + @echo Generating PDF version of manual, this may take some time... + $(AM_V_GEN)$(WEASYPRINT) \ + manual.html \ + $@ +else +pdf: + @echo Install weasyprint and re-run ./configure to generate a PDF of the Vala manual +endif + mostlyclean-local: rm -rf devhelp rm -rf html CLEANFILES = \ manual.html \ + manual.pdf \ version.xml \ $(NULL) |