]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
urls_of_uris.db is now empty
[helm.git] / helm / configuration / configure.in
index 6451a233df40ed08fa84df212fd6dfb0b031ba13..5831be2104b52b42b55bd5adc438658036dc86b0 100644 (file)
@@ -66,6 +66,7 @@ fi
 
 AC_SUBST(HELM_LIB_DIR)
 AC_SUBST(HELM_ETC_DIR)
+AC_SUBST(HELM_LIBRARY_DIR)
 AC_SUBST(HELM_DICTIONARY_PATH)
 AC_SUBST(GTKMATHVIEW_DICTIONARY_PATH)
 AC_SUBST(HELM_FONT_CONFIGURATION_PATH)