]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
configuration.pl.in configured
[helm.git] / helm / configuration / configure.in
index 9a4d94cfdc04f8870b68b45e686679d8aa32e7b0..c96778800e097e67a14528e567c8368c93580d84 100644 (file)
@@ -18,4 +18,4 @@ HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
 AC_SUBST(HELM_LIB_DIR)
 AC_SUBST(HELM_ETC_DIR)
 
-AC_OUTPUT([Makefile])
+AC_OUTPUT([Makefile lib/configuration.pl])