Commit c34d7dd7 authored by Simon Marlow's avatar Simon Marlow

fix it so that 'make' on its own works even if we're not building docs

parent b272715a
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment