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 <gareuselesi...@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 <gareuselesi...@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 _______________________________________________ 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