[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ff20e3e9f517cba61a94103d62e284b214fe4d30
Author: Stephane Glondu <steph at glondu.net>
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