X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Finstall;h=83fe700105bd72c83c14855a069040152fe36fe4;hb=039f58232964e627868ec21f7c1e64c843204c75;hp=de250745931aaac0dba98b705bebf76cdfd1ee6f;hpb=92ccab409fa4ec217b9334b9bc3f6677ad95db9b;p=helm.git

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/