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 <trei...@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 <trei...@debian.org> Tue, 05 Nov 2013 15:46:03 +0100
+ -- Ralf Treinen <trei...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
