]> matita.cs.unibo.it Git - helm.git/commitdiff
install file removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:51:56 +0000 (16:51 +0000)
helm/configuration/configure.in
helm/configuration/install [deleted file]

index acce265e12e5bad2a7d0031a44b9e2d764706435..e4e55c23652af9b449ff7e2eb2b5d0c9c40aa92e 100644 (file)
@@ -33,11 +33,15 @@ AC_CACHE_VAL(helm_cv_GTKMATHVIEW_DICTIONARY_PATH,
       echo ""
       AC_MSG_WARN(Could not find dictionary.xml. Where is it?)
       read helm_cv_GTKMATHVIEW_DICTIONARY_PATH
+      RES="Asked"
    else
       AC_MSG_RESULT("yes")
    fi
 )
 GTKMATHVIEW_DICTIONARY_PATH=$helm_cv_GTKMATHVIEW_DICTIONARY_PATH
+if test "$RES" != "Asked" ; then
+   AC_MSG_RESULT($GTKMATHVIEW_DICTIONARY_PATH)
+fi
 AC_CACHE_SAVE
 
 AC_MSG_CHECKING("for font-configuration.xml")
diff --git a/helm/configuration/install b/helm/configuration/install
deleted file mode 100755 (executable)
index f84b12c..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/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
-
-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/* $ROOT/local/etc/helm/
-cp local/etc/helm/* $ROOT/local/etc/helm/
-