### General settings.
DEB_BUILDDIR = $(CURDIR)/build
+DEB_MAKE_BUILD_TARGET = all html pdf
+DEB_MAKE_INSTALL_TARGET = \
+ install install-html install-pdf \
+ DESTDIR=$(CURDIR)/debian/tmp/
DEB_MAKE_CHECK_TARGET = check
###--------------------------------------------------------------------------