]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
bug fixed
[helm.git] / helm / configuration / configure.in
index b8a7cffd72af866666a6bbe197e9f7f9afe8694d..060d422c4f93839efe38b551ff8e5acf00f7ae77 100644 (file)
@@ -1,4 +1,4 @@
-AC_INIT(etc/configuration.xml)
+AC_INIT(etc/configuration.xml.in)
 
 if test "x$prefix" != xNONE; then
   RESOLVED_PREFIX=$prefix
@@ -49,4 +49,5 @@ AC_OUTPUT(
 [Makefile
  lib/configuration.pl
  etc/helm-math-engine-configuration.xml
+ etc/configuration.xml
 ])