Ticket 37. 'Allow equal', 'Allow cheaper' and 'Allow expensive' comments changed to

[stg.git] / doc / help / Makefile

diff --git a/doc/help/Makefile b/doc/help/Makefile
index 47cf0407a61a04d961e75f9d47bb389ce40809c8..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