X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2F.depend;h=8863d5405df5eaa6397b4e87407b07ce75d3a21d;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=8b3261bc8dffab9f1027b21f36125b37d79a49e2;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend index 8b3261bc8..8863d5405 100644 --- a/matita/components/syntax_extensions/.depend +++ b/matita/components/syntax_extensions/.depend @@ -1,5 +1,11 @@ -utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi -utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi +utf8Macro.cmo : \ + utf8MacroTable.cmi \ + utf8Macro.cmi +utf8Macro.cmx : \ + utf8MacroTable.cmx \ + utf8Macro.cmi utf8Macro.cmi : -utf8MacroTable.cmo : -utf8MacroTable.cmx : +utf8MacroTable.cmo : \ + utf8MacroTable.cmi +utf8MacroTable.cmx : \ + utf8MacroTable.cmi