[pkg] Fix debian clean rule
authorJulien Cristau <julien.cristau@logilab.fr>
Wed, 15 Jul 2015 11:47:16 +0200
changeset 769 d7388ac617bb
parent 768 39e850fc7404
child 770 0906f9daa48e
[pkg] Fix debian clean rule
debian/clean
debian/rules
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/clean	Wed Jul 15 11:47:16 2015 +0200
@@ -0,0 +1,1 @@
+gecode_version
--- a/debian/rules	Wed Jul 15 11:08:08 2015 +0200
+++ b/debian/rules	Wed Jul 15 11:47:16 2015 +0200
@@ -8,3 +8,7 @@
 override_dh_auto_build:
 	dh_auto_build
 	$(MAKE) -C doc html
+
+override_dh_auto_clean:
+	dh_auto_clean
+	$(MAKE) -C doc clean