dnl Only for GtkMathview XML configuration
HELM_DICTIONARY_PATH=/projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml
-GTKMATHVIEW_DICTIONARY_PATH=/projects/helm/local/share/gtkmathview/dictionary.xml
-HELM_FONT_CONFIGURATION_PATH=/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml
-GTKMATHVIEW_FONT_CONFIGURATION_PATH=/projects/helm/local/share/gtkmathview/font-configuration.xml
+
+AC_CHECK_PROG(HAVE_GTKMATHVIEW_CONFIG,gtkmathview-config,yes,no)
+if test $HAVE_GTKMATHVIEW_CONFIG = yes ; then
+ GTKMATHVIEW_DICTIONARY_PATH=`gtkmathview-config --prefix 2> /dev/null`/share/gtkmathview/dictionary.xml
+ if test ! -f $GTKMATHVIEW_DICTIONARY_PATH ; then
+ AC_MSG_WARN(Could not find dictionary.xml. Where is it?)
+ read GTKMATHVIEW_DICTIONARY_PATH
+ fi
+else
+ AC_MSG_ERROR(Could not find gtkmathview-config)
+fi
+
+GTKMATHVIEW_FONT_CONFIGURATION_PATH=`gtkmathview-config --prefix 2> /dev/null`/share/gtkmathview/font-configuration.xml
+if test ! -f $GTKMATHVIEW_FONT_CONFIGURATION_PATH ; then
+ AC_MSG_WARN(Could not find font-configuration.xml. Where is it?)
+ read GTKMATHVIEW_FONT_CONFIGURATION_PATH
+fi
+
+
HELM_T1_CONFIG_FILE=/projects/helm/local/share/gtkmathview/t1.config
+HELM_FONT_CONFIGURATION_PATH=/projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml
dnl Only for HELM XML configuration
CONFIGURATION_HELM_DIR=/home/pauillac/coq3/sacerdot/HELM/V6.2/examples