X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fsyntax_extensions%2F.depend;h=852dd801182702a540eafba2aa9fd7d81d72478f;hb=988f17850d6e70b6d89aa18b801f5a59115bb012;hp=8b3261bc8dffab9f1027b21f36125b37d79a49e2;hpb=2cdad3c9cad0558fda99c48c226670a8a7c11b3f;p=helm.git 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 :