From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 09:56:38 +0000 (+0000)
Subject: fix
X-Git-Tag: 0.4.96@7881~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=8ee0e6f729105eaf1907de0baef22e170b0d17b3

fix
---

diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index dd0a27c82..546caba1c 100755
--- a/pkg-matita/trunk/debian/rules
+++ b/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 {} \;