]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
install: updated to copy math engine configuration files

helm/configuration/install

index 83fe700105bd72c83c14855a069040152fe36fe4..f84b12cb31f58f6733e5067aec9ba1d8ddd4a166 100755 (executable)
@@ -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/