X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fpkg-matita%2Ftrunk%2Fdebian%2Frules;h=06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7;hb=9aa884f95b624d613d7abf817f7fc108340da337;hp=7807c48eb327154b10a3d238758bd0d57fde4991;hpb=9eadb65114df8bda7ca5988a99bb277a96a8ed1e;p=helm.git

diff --git a/helm/software/pkg-matita/trunk/debian/rules b/helm/software/pkg-matita/trunk/debian/rules
index 7807c48eb..06a874fd3 100755
--- a/helm/software/pkg-matita/trunk/debian/rules
+++ b/helm/software/pkg-matita/trunk/debian/rules
@@ -3,7 +3,7 @@
 include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/class/autotools.mk
 include /usr/share/cdbs/1/rules/debhelper.mk
-
+include /usr/share/cdbs/1/rules/dpatch.mk
 
 DEB_CONFIGURE_EXTRA_FLAGS := \
   --with-runtime-dir=/usr/share/matita \