diff options
author | Simon Marlow <marlowsd@gmail.com> | 2009-05-28 11:16:08 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2009-05-28 11:16:08 +0000 |
commit | c34d7dd7c5d01910e5a73b1da3a72ad1a20fa692 (patch) | |
tree | 168a6b4d24709162e1893faefe581c3524c367f5 /rules/docbook.mk | |
parent | b272715a0c248f219e188745c57bf42705f9c391 (diff) | |
download | haskell-c34d7dd7c5d01910e5a73b1da3a72ad1a20fa692.tar.gz |
fix it so that 'make' on its own works even if we're not building docs
Diffstat (limited to 'rules/docbook.mk')
-rw-r--r-- | rules/docbook.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rules/docbook.mk b/rules/docbook.mk index ce014c89f7..75a69076ce 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) |