]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 12:10:52 +0000 (12:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 12:10:52 +0000 (12:10 +0000)
helm/configuration/configure.in

index 0d31a63c647af1ff5b4d37fb973b1004a7f7e4fe..ddf1bb4248e46114ee533fc9bbd3c8dc662e53ff 100644 (file)
@@ -18,7 +18,7 @@ HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
 HELM_SHARE_DIR=$RESOLVED_PREFIX/share/helm
 
 dnl Only for GtkMathview XML configuration
-HELM_DICTIONARY_PATH=/projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml
+HELM_DICTIONARY_PATH=$HELM_ETC_DIR/helm-dictionary.xml
 
 AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG,gtkmathview-config,yes,no)
 if test $HAVE_GTKMATHVIEW_CONFIG = yes ; then
@@ -41,16 +41,15 @@ fi
 GTKMATHVIEW_T1_CONFIG_FILE=$GTKMATHVIEW_PREFIX/share/gtkmathview/t1.config
 if test ! -f $GTKMATHVIEW_T1_CONFIG_FILE ; then
    AC_MSG_WARN(Could not find t1.config. Where is it?)
-   read $GTKMATHVIEW_T1_CONFIG_FILE
+   read GTKMATHVIEW_T1_CONFIG_FILE
 fi
 
 HELM_FONT_CONFIGURATION_PATH=$HELM_ETC_DIR/helm-font-configuration.xml
 
 dnl Only for HELM XML configuration
 
-AC_MSG_WARN(Where should I put the downloaded library?)
-AC_MSG_WARN(WARNING: the directory and all the files and subdirectories recursively in it should be world writeable)
-read $HELM_LIBRARY_PREFIX
+AC_MSG_WARN(Where should I put the downloaded library? Note: the directory and all the files and subdirectories recursively in it should be world writeable)
+read HELM_LIBRARY_PREFIX
 
 CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/examples
 dnl CSC: ERROR: getters should download the DTDs