X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2F.depend;h=852dd801182702a540eafba2aa9fd7d81d72478f;hb=aad5588b82d0f2991c336f7ac2f3fadd76768eeb;hp=119f13093a98003e4d06ea0244ce7aae7f76e6e3;hpb=ddc80515997a3f56085c6234d4db326141e189aa;p=helm.git diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend index 119f13093..852dd8011 100644 --- a/matita/components/syntax_extensions/.depend +++ b/matita/components/syntax_extensions/.depend @@ -1,5 +1,9 @@ -utf8Macro.cmi: -utf8MacroTable.cmo: -utf8MacroTable.cmx: -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 :