X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=5a7bfdfd8320ad147b5d67090e8db1a4a9888f98;hb=fe58dd2f091f5a4a0e83a5ec6da643a6711e3aed;hp=8488de14842686d35c5628861aab929f01aecc8f;hpb=75d9236613acdcfa54deb81b12bd4546c31e7c9f;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 8488de1..5a7bfdf 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -15,6 +15,7 @@
 
 define docbook
 $(call trace, docbook($1,$2))
+$(call profStart, docbook($1,$2))
 # $1 = dir
 # $2 = docname
 
@@ -25,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
 
@@ -47,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
 
@@ -60,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
@@ -74,5 +81,6 @@ $1/$2.pdf: $$($1_DOCBOOK_SOURCES)
 	[ -f $$@ ]
 endif
 
+$(call profEnd, docbook($1,$2))
 endef