projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b272715
)
fix it so that 'make' on its own works even if we're not building docs
author
Simon Marlow
<marlowsd@gmail.com>
Thu, 28 May 2009 11:16:08 +0000
(11:16 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Thu, 28 May 2009 11:16:08 +0000
(11:16 +0000)
rules/docbook.mk
patch
|
blob
|
history
diff --git
a/rules/docbook.mk
b/rules/docbook.mk
index
ce014c8
..
75a6907
100644
(file)
--- 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)