[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-35-g2a69038

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit 2a69038f3afff72fb12955195fffb4bb4e767f1f
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Apr 11 21:27:42 2013 +0200

    update clean target

diff --git a/debian/changelog b/debian/changelog
index 80d9606..6400b30 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,7 @@
-alt-ergo (0.95.1-1) UNRELEASED; urgency=low
+alt-ergo (0.95.1-1) experimental; urgency=low
 
   * New upstream release.
   * Split off a package for the development libraries.
-  * debian/watch: add extra directory per release.
   * Adapted all patches to new upstream. Merge patch
     0009-fix-install-gui-target into
     0004-Add-rules-and-targets-for-gui.byte.patch.
@@ -17,12 +16,6 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
     upstream's Makefile.
   * Drop debian/alt-ergo.dirs.in as all needed directories are created by
     upstream's Makefile.
-  * Added myself as uploader.
-  * Standards-Version 3.9.4 (no change)
-  * debian/copyright:
-    - machine-readable format 1.0
-    - update copyright years to 2006-2011
-    - add copyright holder Francois Bobot
   * Source-format 3.0 (quilt):
     - debian/source/format: update
     - debian/rules: drop "quilt" option from dh invocation
@@ -30,11 +23,22 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
     - drop debian/README.source which is no longer necessary
   * Drop build-dependencies on autotools-dev, autoconf which are not needed.
     Touch configure in debian/rules to assure it is newer than configure.in.
-  * Rewrite long package description.
   * Remove debian/docs as the upstream README file is useless for users of
     the debian package.
-  
- -- Ralf Treinen <treinen at debian.org>  Wed, 10 Apr 2013 09:46:38 +0200
+  * update clean target:
+    - invoke dist-clean instead of clean in debian/rules
+    - debian/clean: add META and gui. Drop version.sh, Makefile, *.output
+      as these are now cleaned by upstream's Makefile. 
+  * Rewrite long package description.
+  * debian/watch: add extra directory per release.
+    * debian/copyright:
+    - machine-readable format 1.0
+    - update copyright years to 2006-2011
+    - add copyright holder Francois Bobot
+  * Added myself as uploader.
+  * Standards-Version 3.9.4 (no change)
+
+ -- Ralf Treinen <treinen at debian.org>  Thu, 11 Apr 2013 21:26:09 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/clean b/debian/clean
index 1f19799..29e324e 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,5 +1,2 @@
-config.status
-Makefile
-smt_parser.output
-version.sh
-why_parser.output
+gui
+META
diff --git a/debian/rules b/debian/rules
index cf28c2d..f8af67f 100755
--- a/debian/rules
+++ b/debian/rules
@@ -25,7 +25,7 @@ override_dh_auto_build:
 
 override_dh_auto_clean:
 	if [ -f Makefile ]; then \
-		$(MAKE) clean;   \
+		$(MAKE) dist-clean;   \
 	fi
 	for i in $(BACKUP); do \
 		[ ! -f $$i.debian ] || mv $$i.debian $$i; \

-- 
alt-ergo packaging