]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
install file removed
[helm.git] / helm / configuration / configure.in
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")