X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=ce014c89f74c12456611b62595fb89e760c1e443;hb=81e5f8ff44ed5c734c9966ba0f3faf2d84c74577;hp=3eb5d94527b56447181f5a13d91be9ce91d2114c;hpb=1cce2f51656cfbd8c7933a914a4bd981792aa1e6;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 3eb5d94..ce014c8 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -20,7 +20,10 @@ define docbook
 $(call clean-target,$1,docbook,$1/$2 $1/$2.pdf $1/$2.ps)
 
 ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
-$(call all-target,$1_html,$1/$2/index.html)
+$(call all-target,$1,html_$1)
+
+.PHONY: html_$1
+html_$1 : $1/$2/index.html
 
 $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	$$(RM) -r $$(dir $$@)
@@ -33,14 +36,20 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 endif
 
 ifeq "$$(BUILD_DOCBOOK_PS)" "YES"
-$(call all-target,$1_ps,$1/$2.ps)
+$(call all-target,$1,ps_$1)
+
+.PHONY: ps_$1
+ps_$1 : $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)
+$(call all-target,$1,pdf_$1)
+
+.PHONY: pdf_$1
+pdf_$1 : $1/$2.pdf
 
 $1/$2.pdf: $$($1_DOCBOOK_SOURCES)
 	$$(DBLATEX) $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@