X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=9b8a4f1c46cd02b89b198418f228cea4aef67334;hb=4a5569ff37ae771560e56b564f3b15477b828a79;hp=73532b72ccd70afe4249b543c543065ee1c32e72;hpb=cfe2fd2a36f43c1f998bb5e7c0cec15480ed3f96;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 73532b7..9b8a4f1 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -34,11 +34,13 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	"$$(XSLTPROC)" --stringparam base.dir $$(dir $$@) \
 	               --stringparam use.id.as.filename 1 \
 	               --stringparam html.stylesheet fptools.css \
-		       --nonet \
+	               --nonet \
 	               $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \
-		       $$(XSLTPROC_HTML_STYLESHEET) \
+	               $$(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"