From db8577d788a84ecb10eb59e70bed233fc159d2f6 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/ --- matita/dist/configure.ac.sed | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/dist/configure.ac.sed b/matita/dist/configure.ac.sed index 1b761cf78..cae098b5c 100644 --- a/matita/dist/configure.ac.sed +++ b/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