diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 09:59:36 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 09:59:36 +0000 |
| commit | 80637c9b178f54f1eb5352695463dad8ef3c7fc0 (patch) | |
| tree | 0a027a67089d1a0f15897fd17f0ec52b05844c03 | |
| parent | c9a11cb4d01d33d7e728fcc8c842d810894b0c5a (diff) | |
| download | haskell-80637c9b178f54f1eb5352695463dad8ef3c7fc0.tar.gz | |
emit a helpful message if you say 'make html' and BUILD_DOCBOOK_HTML=NO
| -rw-r--r-- | rules/docbook.mk | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/rules/docbook.mk b/rules/docbook.mk index b25252c3d6..a06aa0f41b 100644 --- a/rules/docbook.mk +++ b/rules/docbook.mk @@ -22,10 +22,11 @@ $(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,) +.PHONY: html_$1 + ifeq "$$(BUILD_DOCBOOK_HTML)" "YES" $(call all-target,$1,html_$1) -.PHONY: html_$1 html_$1 : $1/$2/index.html $1/$2/index.html: $$($1_DOCBOOK_SOURCES) @@ -36,16 +37,24 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES) $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \ $$(DIR_DOCBOOK_XSL)/html/chunk.xsl $1/$2.xml cp mk/fptools.css $$(dir $$@) +else +html_$1 : + @echo "*** HTML documentation is disabled; BUILD_DOCBOOK_HTML = NO" + @exit 1 endif +.PHONY: ps_$1 ifeq "$$(BUILD_DOCBOOK_PS)" "YES" $(call all-target,$1,ps_$1) -.PHONY: ps_$1 ps_$1 : $1/$2.ps $1/$2.ps: $$($1_DOCBOOK_SOURCES) "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@ +else +ps_$1 : + @echo "*** PS documentation is disabled; BUILD_DOCBOOK_PS = NO" + @exit 1 endif ifeq "$$(BUILD_DOCBOOK_PDF)" "YES" @@ -56,6 +65,10 @@ pdf_$1 : $1/$2.pdf $1/$2.pdf: $$($1_DOCBOOK_SOURCES) "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@ +else +pdf_$1 : + @echo "*** PDF documentation is disabled; BUILD_DOCBOOK_PDF = NO" + @exit 1 endif endef |