[Pkg-ocaml-maint-commits] r3490 - /trunk/packages/coq-doc/trunk/debian/rules

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Jan  7 20:51:40 2007
New Revision: 3490

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3490
Log:
Better cleaning.

Modified:
    trunk/packages/coq-doc/trunk/debian/rules

Modified: trunk/packages/coq-doc/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/rules?rev=3490&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/rules (original)
+++ trunk/packages/coq-doc/trunk/debian/rules Sun Jan  7 20:51:40 2007
@@ -9,11 +9,14 @@
 
 HTMLDEST := $(CURDIR)/debian/coq-doc-html/usr/share/doc/coq-doc-html/
 
-build: patch-stamp
+build: patch
 	$(MAKE) tutorial/Tutorial.v.html refman/html/index.html faq/html/index.html RecTutorial/RecTutorial.v.html
 	$(MAKE) tutorial/Tutorial.v.pdf refman/Reference-Manual.pdf faq/FAQ.v.pdf RecTutorial/RecTutorial.v.pdf
 
-clean: unpatch
+real-clean: patch
+	$(MAKE) clean
+
+clean: real-clean unpatch
 	dh_testdir
 	dh_testroot
 	dh_clean
@@ -57,4 +60,4 @@
 binary-arch: build install
 
 binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install
+.PHONY: build clean binary-indep binary-arch binary install patch unpatch