From 319d1512b48e457c048efc7ff0c7abdc419634e6 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Feb 2006 10:53:20 +0000 Subject: [PATCH] fill DISTRIBUTED value on dist --- helm/software/matita/dist/configure.ac.sed | 1 + 1 file changed, 1 insertion(+) 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"| -- 2.39.2