From c0be9c28b15427d971388e829492bc412b3c024e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 09:56:38 +0000 Subject: [PATCH] fix --- helm/software/pkg-matita/trunk/debian/rules | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/software/pkg-matita/trunk/debian/rules b/helm/software/pkg-matita/trunk/debian/rules index dd0a27c82..546caba1c 100755 --- a/helm/software/pkg-matita/trunk/debian/rules +++ b/helm/software/pkg-matita/trunk/debian/rules @@ -16,7 +16,7 @@ DEB_MAKE_INSTALL_TARGET := common-install-arch:: # install matita - make install-arch DESTDIR=$(DEB_DESTDIR) + make install-arch DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes # generate manpages mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ @@ -37,7 +37,7 @@ common-install-arch:: | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz if [ -e $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\ ln -s /usr/share/man/man1/matitac.1.gz \ - $(DEB_DESTDIR)/usr/share/man/man1/`basename $$P`.1.gz;\ + $(DEB_DESTDIR)/usr/share/man/man1/matitac.opt.1.gz;\ fi # install .opt .byte (symlinks are installed with .install mkdir -p debian/matita/usr/bin/ @@ -48,6 +48,6 @@ common-install-arch:: common-install-indep:: # install matita library - make install-indep DESTDIR=$(DEB_DESTDIR) + make install-indep DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes # innerypes removal - find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \; + # find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \; -- 2.39.2