X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=75a69076ce88d59087fb65059244cf3086e0e938;hb=e73cd2090567caf8cf47558ae919a49dd82df84b;hp=ce014c89f74c12456611b62595fb89e760c1e443;hpb=61ef1764bf342f90480602770b43ec3ae768f7f1;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index ce014c8..75a6907 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -19,6 +19,9 @@ define docbook
 
 $(call clean-target,$1,docbook,$1/$2 $1/$2.pdf $1/$2.ps)
 
+# empty "all_$1" target just in case we're not building docs at all
+$(call all-target,$1,)
+
 ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
 $(call all-target,$1,html_$1)