[Pkg-ocaml-maint-commits] [matita] 01/01: fix clean target
Enrico Tassi
gareuselesinge at alioth.debian.org
Wed Oct 2 12:08:07 UTC 2013
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository matita.
commit ef075135a42373d914bd9f72f770a3905561f2e3
Author: Enrico Tassi <gareuselesinge at debian.org>
Date: Wed Oct 2 11:16:33 2013 +0200
fix clean target
---
debian/changelog | 6 ++++++
debian/rules | 2 +-
2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/debian/changelog b/debian/changelog
index f6d7adb..bca040e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+matita (0.99.1-2) unstable; urgency=low
+
+ * Fix clean target (Closes: 724163)
+
+ -- Enrico Tassi <gareuselesinge at debian.org> Wed, 02 Oct 2013 11:16:08 +0200
+
matita (0.99.1-1) unstable; urgency=low
* New upstream release
diff --git a/debian/rules b/debian/rules
index f7e979f..bd1c612 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,7 +10,7 @@ override_dh_auto_configure:
--with-dbhost=FAKE_HOST
override_dh_auto_clean:
- dh_auto_clean
+ dh_auto_clean || true
rm -f Makefile.defs components/extlib/componentsConf.ml config.log config.status configure matita/.depend.opt matita/help/C/version.txt matita/matita.conf.xml matita/matita.glade.utf8
override_dh_auto_install:
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/matita.git
More information about the Pkg-ocaml-maint-commits
mailing list