From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 17:14:06 +0000 (+0000) Subject: install in /usr/local/matita/ X-Git-Tag: make_still_working~7583 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c76bf80d9cf70a04d9e12c053138fea937971d32;p=helm.git install in /usr/local/matita/ --- diff --git a/helm/software/matita/dist/configure.ac.sed b/helm/software/matita/dist/configure.ac.sed index 1b761cf78..cae098b5c 100644 --- a/helm/software/matita/dist/configure.ac.sed +++ b/helm/software/matita/dist/configure.ac.sed @@ -1,4 +1,4 @@ s|^\(DEBUG_DEFAULT\)=.*|\1="false"| s|^\(DEFAULT_DBHOST\)=.*|\1="localhost"| -s|^\(RT_BASE_DIR_DEFAULT\)=.*|\1="/usr/local/share/matita"| +s|^\(RT_BASE_DIR_DEFAULT\)=.*|\1="/usr/local/matita"| s|^\(DISTRIBUTED\)=.*|\1="yes"|