]> matita.cs.unibo.it Git - helm.git/commitdiff
changed location of version.txt
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 15:13:41 +0000 (15:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 15:13:41 +0000 (15:13 +0000)
helm/software/configure.ac

index afb09d8053514a0ad1fe598c4e3bf54756bb1bfb..00ae3a37d36a697491096ba52c29acff3e96df91 100644 (file)
@@ -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
 ])