X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=5a7bfdfd8320ad147b5d67090e8db1a4a9888f98;hb=f07b01e57f4c08a68e22eb81f25c865d1d7c15c3;hp=ccc0fa47a7f13d8cf6e86232485f761a2a3651c3;hpb=facd71ba01bd40496fd7067b991502751a80bb27;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index ccc0fa4..5a7bfdf 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -14,6 +14,8 @@
 # Build docbook docs
 
 define docbook
+$(call trace, docbook($1,$2))
+$(call profStart, docbook($1,$2))
 # $1 = dir
 # $2 = docname
 
@@ -24,10 +26,12 @@ $(call all-target,$1,)
 
 .PHONY: html_$1
 
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
 $(call all-target,$1,html_$1)
 INSTALL_HTML_DOC_DIRS += $1/$2
 endif
+endif
 
 html_$1 : $1/$2/index.html
 
@@ -46,10 +50,12 @@ endif
 
 
 .PHONY: ps_$1
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_PS)" "YES"
 $(call all-target,$1,ps_$1)
 INSTALL_DOCS += $1/$2.ps
 endif
+endif
 
 ps_$1 : $1/$2.ps
 
@@ -59,10 +65,12 @@ $1/$2.ps: $$($1_DOCBOOK_SOURCES)
 	[ -f $$@ ]
 endif
 
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
 $(call all-target,$1,pdf_$1)
 INSTALL_DOCS += $1/$2.pdf
 endif
+endif
 
 .PHONY: pdf_$1
 pdf_$1 : $1/$2.pdf
@@ -73,5 +81,6 @@ $1/$2.pdf: $$($1_DOCBOOK_SOURCES)
 	[ -f $$@ ]
 endif
 
+$(call profEnd, docbook($1,$2))
 endef