[Pkg-ocaml-maint-commits] [alt-ergo] 08/11: debian/rules : drop install-pack

[Ralf Treinen]

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