X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Finstall;h=f84b12cb31f58f6733e5067aec9ba1d8ddd4a166;hb=2f8f506cd4625294c3e17e995fc51a597ed99504;hp=5b19af19da846605db98fe2830b5b0c0ee79914a;hpb=35b2590228580fc739f5a300b06976430b7c7496;p=helm.git

diff --git a/helm/configuration/install b/helm/configuration/install
index 5b19af19d..f84b12cb3 100755
--- a/helm/configuration/install
+++ b/helm/configuration/install
@@ -6,13 +6,14 @@ echo "* Files will be installed in \$root/local/lib/helm and *"
 echo "* in \$root/local/lib/etc/helm/                        *"
 echo "********************************************************"
 echo -n "\$root="
-read ROOT "buondi"
+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/
 
-echo cp local/etc/helm/configuration.xml $ROOT/local/etc/helm/
-cp local/etc/helm/configuration.xml $ROOT/local/etc/helm/
+echo cp local/etc/helm/* $ROOT/local/etc/helm/
+cp local/etc/helm/* $ROOT/local/etc/helm/
 
-echo cp local/etc/helm/configuration.dtd $ROOT/local/etc/helm/
-cp local/etc/helm/configuration.dtd $ROOT/local/etc/helm/