X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fconfigure.ac;h=afb09d8053514a0ad1fe598c4e3bf54756bb1bfb;hb=740cea5493810e6e7e672d7791d2bc5cf62e656e;hp=15470ef37cd8102dccbb74d84f68d8f007352e73;hpb=196b1e626bd6ba5ef6b258a88294f116e30232e9;p=helm.git

diff --git a/helm/software/configure.ac b/helm/software/configure.ac
index 15470ef37..afb09d805 100644
--- a/helm/software/configure.ac
+++ b/helm/software/configure.ac
@@ -154,19 +154,19 @@ AC_ARG_WITH(dbhost,
 AC_MSG_RESULT($DBHOST)
 
 AC_SUBST(CAMLP4O)
-AC_SUBST(DISTRIBUTED)
 AC_SUBST(DBHOST)
 AC_SUBST(DEBUG)
-AC_SUBST(TRANSFORMER_MODULE)
-AC_SUBST(FINDLIB_REQUIRES)
+AC_SUBST(DISTRIBUTED)
 AC_SUBST(FINDLIB_CREQUIRES)
+AC_SUBST(FINDLIB_REQUIRES)
 AC_SUBST(HAVE_OCAMLOPT)
 AC_SUBST(LABLGLADECC)
+AC_SUBST(MATITA_VERSION)
 AC_SUBST(OCAMLFIND)
 AC_SUBST(OCAMLPATH)
 AC_SUBST(RT_BASE_DIR)
 AC_SUBST(SRCROOT)
-AC_SUBST(MATITA_VERSION)
+AC_SUBST(TRANSFORMER_MODULE)
 
 AC_OUTPUT([
   components/extlib/componentsConf.ml
@@ -175,5 +175,6 @@ AC_OUTPUT([
   matita/matita.conf.xml.build
   matita/buildTimeConf.ml
   matita/gtkmathview.matita.conf.xml
+  matita/dist/version.txt
   Makefile.defs
 ])