X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=3eb5d94527b56447181f5a13d91be9ce91d2114c;hb=ebb3712252c4328f5e79ad7d2c3ba986a907631b;hp=196019eb1feef247f17954f8505f7ed5b24d5f5c;hpb=c59c053f0b8613dd128297ee0b6eef31f001c498;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 196019e..3eb5d94 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -17,10 +17,10 @@ define docbook
 # $1 = dir
 # $2 = docname
 
-$(call clean-target,$1,docbook,$1/$2)
+$(call clean-target,$1,docbook,$1/$2 $1/$2.pdf $1/$2.ps)
 
-ifneq "$$(XSLTPROC)" ""
-$(call all-target,$1,$1/$2/index.html)
+ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
+$(call all-target,$1_html,$1/$2/index.html)
 
 $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	$$(RM) -r $$(dir $$@)
@@ -32,5 +32,19 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	cp mk/fptools.css $$(dir $$@)
 endif
 
+ifeq "$$(BUILD_DOCBOOK_PS)" "YES"
+$(call all-target,$1_ps,$1/$2.ps)
+
+$1/$2.ps: $$($1_DOCBOOK_SOURCES)
+	$$(DBLATEX) $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
+endif
+
+ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
+$(call all-target,$1_pdf,$1/$2.pdf)
+
+$1/$2.pdf: $$($1_DOCBOOK_SOURCES)
+	$$(DBLATEX) $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@
+endif
+
 endef