[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-3-gb8c989e

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit b8c989e81590e1132df0344feb5ab7bcab227955
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Nov 8 15:27:00 2008 +0100

    Set compat to 7 and add debian/clean file to reset source directory

diff --git a/debian/clean b/debian/clean
new file mode 100644
index 0000000..1f19799
--- /dev/null
+++ b/debian/clean
@@ -0,0 +1,5 @@
+config.status
+Makefile
+smt_parser.output
+version.sh
+why_parser.output
diff --git a/debian/compat b/debian/compat
index 1e8b314..7f8f011 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-6
+7
diff --git a/debian/rules b/debian/rules
index d691dfe..561cd07 100755
--- a/debian/rules
+++ b/debian/rules
@@ -44,14 +44,12 @@ build-arch-stamp: config.status
 clean: unpatch
 	dh_testdir
 	dh_testroot
-	rm -f build-stamp build-indep-stamp build-arch-stamp
 	if [ -f Makefile ]; then \
 		$(MAKE) clean;   \
 	fi
 	[ ! -f version.ml.debian ] || mv version.ml.debian version.ml
 	[ ! -f .depend.debian    ] || mv .depend.debian .depend
 	dh_clean 
-	-rm -f config.status Makefile smt_parser.output version.sh why_parser.output
 
 install: build
 	dh_testdir

-- 
alt-ergo packaging