X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=pkg-matita%2Ftrunk%2Fdebian%2Frules;h=06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7;hb=211cd0ac98d67f185b867bbec6b20d086a6b183d;hp=7807c48eb327154b10a3d238758bd0d57fde4991;hpb=5ea1fdf1437721b026eec65b6002d2c7688630f3;p=helm.git diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules index 7807c48eb..06a874fd3 100755 --- 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 \