+INSTALL_HTML_DOC_DIRS += $1/$2
+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)
+
+ps_$1 : $1/$2.ps
+
+ifneq "$$(BINDIST)" "YES"
+$1/$2.ps: $$($1_DOCBOOK_SOURCES)
+ "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
+endif
+
+INSTALL_DOCS += $1/$2.ps
+else
+ps_$1 :
+ @echo "*** PS documentation is disabled; BUILD_DOCBOOK_PS = NO"
+ @exit 1
+endif
+
+ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
+$(call all-target,$1,pdf_$1)
+
+.PHONY: pdf_$1
+pdf_$1 : $1/$2.pdf
+
+ifneq "$$(BINDIST)" "YES"
+$1/$2.pdf: $$($1_DOCBOOK_SOURCES)
+ "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@
+endif
+
+INSTALL_DOCS += $1/$2.pdf
+else
+pdf_$1 :
+ @echo "*** PDF documentation is disabled; BUILD_DOCBOOK_PDF = NO"
+ @exit 1
+endif
+