-matitaDisambiguator.cmo: matitaDisambiguator.cmi
-matitaDisambiguator.cmx: matitaDisambiguator.cmi
-grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi
-grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi
-grafiteParserMisc.cmo: grafiteParserMisc.cmi
-grafiteParserMisc.cmx: grafiteParserMisc.cmi
+grafiteDisambiguator.cmo: grafiteDisambiguator.cmi
+grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
+grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
+grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi