[ppl] 01/03: Fix build-indep target.

[Tobias Hansen]

This is an automated email from the git hooks/post-receive script.

thansen pushed a commit to branch master
in repository ppl.

commit c91ed7648bdfe9570e177a3626e2525535b15dd3
Author: Tobias Hansen <thansen at broeselmaschine.fc.up.pt>
Date:   Sat Nov 12 11:35:28 2016 +0000

    Fix build-indep target.
---
 debian/changelog | 1 +
 debian/rules     | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index ce1dded..15ab9b1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ ppl (1:1.2-1) UNRELEASED; urgency=medium
 
   [ Tobias Hansen ]
   * New upstream version. (Closes: #811825, #818957)
+  * Fix build-indep target (Closes: #806865)
   * Remove patches that were applied upstream:
     - 0001-Warnings-avoided.patch
     - 0002-Adapted-to-SWI-Prolog-version-7.x.patch
diff --git a/debian/rules b/debian/rules
index 3e4e00f..3fcd324 100755
--- a/debian/rules
+++ b/debian/rules
@@ -111,7 +111,7 @@ else
 endif
 
 build-indep: build-indep-stamp
-build-indep-stamp: configure-stamp
+build-indep-stamp: configure-stamp build-arch-stamp
 	export save_size=10000 ; $(MAKE) -C doc user-configured
 	touch $@
 
@@ -134,6 +134,7 @@ install-indep: build-indep
 	dh_installdirs -i
 #	Build all the documentation, then move it into debian/tmp
 #	directories which have fixed names.
+	$(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
 	mkdir -p $(DOC_DIR)/html || exit 1
 	mv $(DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
 	mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git