From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 15:13:41 +0000 (+0000)
Subject: changed location of version.txt
X-Git-Tag: make_still_working~7605
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6668928408fea93c7d1b955a839f7bae1af6b8f2;hp=98e5b67ea77eaaea3e541d97ab03f90a8c2edd3e;p=helm.git

changed location of version.txt
---

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
 ])