diff options
author | Ian Lynagh <igloo@earth.li> | 2009-08-01 20:46:24 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2009-08-01 20:46:24 +0000 |
commit | 2fda738875042f7d2339f18b6c8b43ef7901bc94 (patch) | |
tree | 1cf6bc92bbd6a4b8e791c8d5b0ce54a0799ebd3c /rules/docbook.mk | |
parent | dfb53739ae18f3c5e0efd32c5ea03748f73a9dc5 (diff) | |
download | haskell-2fda738875042f7d2339f18b6c8b43ef7901bc94.tar.gz |
Make the new build system install the documentation
Diffstat (limited to 'rules/docbook.mk')
-rw-r--r-- | rules/docbook.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rules/docbook.mk b/rules/docbook.mk index bbcf41c808..9b8a4f1c46 100644 --- a/rules/docbook.mk +++ b/rules/docbook.mk @@ -39,6 +39,8 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES) $$(XSLTPROC_HTML_STYLESHEET) \ $1/$2.xml cp mk/fptools.css $$(dir $$@) + +INSTALL_HTML_DOC_DIRS += $1/$2 else html_$1 : @echo "*** HTML documentation is disabled; BUILD_DOCBOOK_HTML = NO" @@ -53,6 +55,8 @@ ps_$1 : $1/$2.ps $1/$2.ps: $$($1_DOCBOOK_SOURCES) "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@ + +INSTALL_DOCS += $1/$2.ps else ps_$1 : @echo "*** PS documentation is disabled; BUILD_DOCBOOK_PS = NO" @@ -67,6 +71,8 @@ pdf_$1 : $1/$2.pdf $1/$2.pdf: $$($1_DOCBOOK_SOURCES) "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@ + +INSTALL_DOCS += $1/$2.pdf else pdf_$1 : @echo "*** PDF documentation is disabled; BUILD_DOCBOOK_PDF = NO" |