The following commit has been merged in the master branch:
commit ff20e3e9f517cba61a94103d62e284b214fe4d30
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 23:14:15 2008 +0200
Tune clean target of debian/rules
diff --git a/debian/rules b/debian/rules
index 50a6e64..7a986d9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -59,6 +59,10 @@ clean: unpatch
dh_testroot
rm -f build-stamp configure-stamp opt-stamp install-stamp
+ # Contains a directory ending in .d which breaks the clean rule
+ # of upstream Makefile
+ -rm -Rf debian/coq/etc
+
[ ! -f config/Makefile ] || $(MAKE) clean
[ ! -f config/Makefile ] || $(MAKE) archclean
rm -f bin/*
@@ -67,6 +71,7 @@ clean: unpatch
rm -f dev/ocamldebug-v7
rm -f ide/undo.mli glob.dump
rm -f test-suite/modules/*.vo
+ rm -f doc/stdlib/coqdoc.sty
dh_clean
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
