From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 15:47:43 +0000 (+0000)
Subject: install script added
X-Git-Tag: nogzip~227
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=35b2590228580fc739f5a300b06976430b7c7496;p=helm.git

install script added
---

diff --git a/helm/configuration/install b/helm/configuration/install
new file mode 100755
index 000000000..5b19af19d
--- /dev/null
+++ b/helm/configuration/install
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+echo "********************************************************"
+echo "* Insert the root dir \$root                           *"
+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"
+
+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/configuration.dtd $ROOT/local/etc/helm/
+cp local/etc/helm/configuration.dtd $ROOT/local/etc/helm/