Merge remote-tracking branch 'origin/master' into ticket

[stg.git] / doc / help / Makefile

diff --git a/doc/help/Makefile b/doc/help/Makefile
index 9302ff7f689213d79559c74336468c4c303a2887..7f838d3472bcc05deec025022c1c92c997b9ee48 100644 (file)
--- a/doc/help/Makefile
+++ b/doc/help/Makefile
@@ -1,5 +1,15 @@
-all:
-       xsltproc -o book/ --xinclude xslt/html/chunk.xsl help.xml
+.PHONY: all clean
+
+all: book/index.html help.pdf
+
+book/index.html: ch*.xml help.xml
+       mkdir -p book/images
+       cp images/*.png book/images/
+       xsltproc --stringparam chunker.output.encoding "utf-8" -o book/ --xinclude /usr/share/sgml/docbook/xsl-stylesheets/html/chunk.xsl help.xml
+
+help.pdf: ch*.xml help.xml
+       dblatex -b xetex -I. help.xml
 
 clean:
-       rm book/*html
+       rm -r book
+       rm help.pdf