X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fconfigure.ac;h=00ae3a37d36a697491096ba52c29acff3e96df91;hb=f5e08781241c4ad7c47ab75cb24c3f1865617405;hp=afb09d8053514a0ad1fe598c4e3bf54756bb1bfb;hpb=740cea5493810e6e7e672d7791d2bc5cf62e656e;p=helm.git

diff --git a/helm/software/configure.ac b/helm/software/configure.ac
index afb09d805..00ae3a37d 100644
--- a/helm/software/configure.ac
+++ b/helm/software/configure.ac
@@ -175,6 +175,6 @@ AC_OUTPUT([
   matita/matita.conf.xml.build
   matita/buildTimeConf.ml
   matita/gtkmathview.matita.conf.xml
-  matita/dist/version.txt
+  matita/help/C/version.txt
   Makefile.defs
 ])