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

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

commit 3ae0b13f58e4fd4601467c5ed62c757c00f131a6
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Dec 30 18:42:55 2014 +0100

    debian/rules : drop install-pack
---
 debian/changelog | 6 ++++--
 debian/rules     | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 1599f92..05709b0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,10 @@ alt-ergo (0.99.1+dfsg1-1) unstable; urgency=medium
 
   * New upstream version.
   * debian/copyright: add Files-Excluded: nonfree
-  * debian/rules override for dh_auto_clean target: call "make clean" only
-    when config.status present.
+  * debian/rules:
+    - override for dh_auto_clean target: call "make clean" only
+      when config.status present
+    - override for dh_auto_install: drop install-pack target
   * update debian patch 0001-No-need-to-activate-debug-flag which now applies
     to the file Makefile.users
   * new patch 0002-non-free-dropped: adapt Makefile.users to the removal of
diff --git a/debian/rules b/debian/rules
index 2935c15..8eea779 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,7 +9,7 @@ override_dh_auto_build:
        $(MAKE) all gui
 
 override_dh_auto_install:
-       $(MAKE) DESTDIR=debian/tmp install install-gui install-pack
+       $(MAKE) DESTDIR=debian/tmp install install-gui
 
 override_dh_auto_clean:
        if [ -f config.status ]; then \

-- 
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

Reply via email to