debian: Use new htmlinstall target to get html docs

diff --git a/debian/rules b/debian/rules
index 01e7afec362c4378f318561488935777f630df46..6596b38217f852a4fead7c4797d14c0e0c415a4c 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -31,7 +31,7 @@ config.mak:
 override_dh_auto_configure: config.mak
 
 override_dh_auto_clean: config.mak debian/control
-       make -C doc realclean
+       $(MAKE) -C doc realclean
        dh_auto_clean -- distclean
        for version in $$(pg_buildext supported-versions .) ; do \
                rm -rf debian/postgresql-$${version}-pgq3; \
@@ -43,6 +43,7 @@ override_dh_auto_clean: config.mak debian/control
 override_dh_auto_install: 
        mkdir -p $(CURDIR)/debian/tmp
        dh_auto_install
+       $(MAKE) -C doc htmlinstall DESTDIR=$(CURDIR)/debian/tmp
        # now care about any previous supported versions
        for version in $$(pg_buildext supported-versions .) ; do \
                echo "### Building for PostgreSQL $$version" && \