From c76bf80d9cf70a04d9e12c053138fea937971d32 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 17:14:06 +0000 Subject: [PATCH] install in /usr/local/matita/ --- helm/software/matita/dist/configure.ac.sed | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"| -- 2.39.2