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

diff --git a/helm/configuration/install b/helm/configuration/install
index 5b19af19d..de2507459 100755
--- a/helm/configuration/install
+++ b/helm/configuration/install
@@ -6,7 +6,7 @@ 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
 
 echo cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
 cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/