From: Stefano Zacchiroli Date: Tue, 7 Feb 2006 10:53:20 +0000 (+0000) Subject: fill DISTRIBUTED value on dist X-Git-Tag: make_still_working~7610 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=319d1512b48e457c048efc7ff0c7abdc419634e6;hp=7b3b0be4e6979c0d4393d0d0c8fc42ac3674b6db;p=helm.git fill DISTRIBUTED value on dist --- diff --git a/helm/software/matita/dist/configure.ac.sed b/helm/software/matita/dist/configure.ac.sed index 53b847eef..1b761cf78 100644 --- a/helm/software/matita/dist/configure.ac.sed +++ b/helm/software/matita/dist/configure.ac.sed @@ -1,3 +1,4 @@ s|^\(DEBUG_DEFAULT\)=.*|\1="false"| s|^\(DEFAULT_DBHOST\)=.*|\1="localhost"| s|^\(RT_BASE_DIR_DEFAULT\)=.*|\1="/usr/local/share/matita"| +s|^\(DISTRIBUTED\)=.*|\1="yes"|