]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/configure.in
...
[helm.git] / helm / http_getter / configure.in
index e4dcc651d7a06c87c777e2619a1f415ebf756933..c17ad5cc8b317728ba35c47ed521fa200a8357ec 100644 (file)
@@ -28,4 +28,7 @@ AC_MSG_RESULT($HELM_STYLES_DIR)
 AC_SUBST(HELM_DTDS_DIR)
 AC_SUBST(HELM_STYLES_DIR)
 
+AC_SUBST(DEFAULT_HELM_LIBRARY_DIR)
+AC_SUBST(PERL_BINARY)
+
 AC_OUTPUT([Makefile])