From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 19 Dec 2000 18:32:52 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: nogzip~90
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=49bed84eef2cb54965d55801cb537bf903a707f5;p=helm.git

Modified Files:
install: updated to copy math engine configuration files
---

diff --git a/helm/configuration/install b/helm/configuration/install
index 83fe70010..f84b12cb3 100755
--- a/helm/configuration/install
+++ b/helm/configuration/install
@@ -14,8 +14,6 @@ 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/