added patch for the configuration file

[helm.git] / pkg-matita / trunk / debian / rules

diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index 7807c48eb327154b10a3d238758bd0d57fde4991..06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7 100755 (executable)
--- a/pkg-matita/trunk/debian/rules
+++ b/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 \