From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 27 Sep 2019 13:54:23 +0000 (+0200)
Subject: ...
X-Git-Tag: make_still_working~229^2~1^2~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=988f17850d6e70b6d89aa18b801f5a59115bb012

...
---

diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend
index 8b3261bc8..852dd8011 100644
--- a/matita/components/syntax_extensions/.depend
+++ b/matita/components/syntax_extensions/.depend
@@ -1,5 +1,9 @@
-utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
-utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi
+utf8Macro.cmo : \
+    utf8MacroTable.cmo \
+    utf8Macro.cmi
+utf8Macro.cmx : \
+    utf8MacroTable.cmx \
+    utf8Macro.cmi
 utf8Macro.cmi :
 utf8MacroTable.cmo :
 utf8MacroTable.cmx :