]> matita.cs.unibo.it Git - helm.git/commitdiff
urls_of_uris.db is now empty
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)
helm/configuration/configure.in
helm/configuration/library/urls_of_uris.db

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)
index c2f5eb78d6793c466de1f5330aba128770a5b606..9f01b7ae56a99f46c91c897315a822ee4ef873a6 100644 (file)
Binary files a/helm/configuration/library/urls_of_uris.db and b/helm/configuration/library/urls_of_uris.db differ