From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 15:04:34 +0000 (+0000)
Subject: install improved
X-Git-Tag: nogzip~157
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a788036087fcf59844506340da3fcfdf1eddf516;p=helm.git

install improved
---

diff --git a/helm/configuration/install b/helm/configuration/install
index de2507459..83fe70010 100755
--- a/helm/configuration/install
+++ b/helm/configuration/install
@@ -8,6 +8,9 @@ echo "********************************************************"
 echo -n "\$root="
 read ROOT
 
+mkdir -p $ROOT/local/lib/helm
+mkdir -p $ROOT/local/etc/helm
+
 echo cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
 cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/