From 7b83798d68b4ccd05f0b9604d969a0b547bef402 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 15:13:41 +0000
Subject: [PATCH] changed location of version.txt

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index afb09d805..00ae3a37d 100644
--- a/configure.ac
+++ b/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
 ])
-- 
2.39.2