From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 5 Feb 2015 00:30:59 +0000 (+0000)
Subject: depend update
X-Git-Tag: make_still_working~751
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38d63e5adf7f0eeeab575697e10c2867cc1c2a7f;p=helm.git

depend update
---

diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend
index 119f13093..4b9bcffd4 100644
--- a/matita/components/syntax_extensions/.depend
+++ b/matita/components/syntax_extensions/.depend
@@ -1,5 +1,5 @@
-utf8Macro.cmi:
-utf8MacroTable.cmo:
-utf8MacroTable.cmx:
-utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi
-utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi
+utf8Macro.cmi :
+utf8MacroTable.cmo :
+utf8MacroTable.cmx :
+utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
+utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi