test to see if svn cp worked as expected

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index 9fe6c7581f3469a563cb21821ce682db332063db..ee8cf52a473d697f0efd83349f5d575ae8d2a012 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -217,3 +217,4 @@ AC_OUTPUT([
   matita/help/C/version.txt
   Makefile.defs
 ])
+