From 988f17850d6e70b6d89aa18b801f5a59115bb012 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 27 Sep 2019 15:54:23 +0200 Subject: [PATCH] ... --- matita/components/syntax_extensions/.depend | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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 : -- 2.39.2