[Pkg-ocaml-maint-commits] [alt-ergo] 13/15: drop mandir setting in invocation of ./configure

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository alt-ergo.

commit f920a24959176a15921aec5b948ff3dfccf48bff
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 16:16:20 2013 +0100

    drop mandir setting in invocation of ./configure
---
 debian/changelog |    5 +++--
 debian/rules     |    3 +--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 8c7f33d..6f9ad35 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,9 +13,10 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
     - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
     - 0009-clean-remove-META.patch
   * Add build-dependency on libzarith-ocaml-dev
-  * debian/rules : drop backup of .depend which is no longer needed
+  * debian/rules: drop backup of .depend which is no longer needed
+  * debian/rules: drop setting of mandir in configure
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 15:46:03 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 16:16:03 +0100
 
 alt-ergo (0.95.1-3) unstable; urgency=low
 
diff --git a/debian/rules b/debian/rules
index b2a5cca..25f16cf 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,8 +9,7 @@ override_dh_auto_configure:
 	./configure --host=$(DEB_HOST_GNU_TYPE) \
 	--build=$(DEB_BUILD_GNU_TYPE)           \
 	--prefix=/usr                           \
-	--libdir=$(OCAML_STDLIB_DIR)            \
-	--mandir=\$${prefix}/share/man
+	--libdir=$(OCAML_STDLIB_DIR)
 
 override_dh_auto_build:
 	# we have to assure that configure is newer than configure.in since

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git