-termEditor.cmo: termEditor.cmi
-termEditor.cmx: termEditor.cmi
-xmlDiff.cmo: xmlDiff.cmi
-xmlDiff.cmx: xmlDiff.cmi
+oldDisambiguate.cmo: oldDisambiguate.cmi
+oldDisambiguate.cmx: oldDisambiguate.cmi
+disambiguatingParser.cmo: oldDisambiguate.cmi disambiguatingParser.cmi
+disambiguatingParser.cmx: oldDisambiguate.cmx disambiguatingParser.cmi
+termEditor.cmo: disambiguatingParser.cmi termEditor.cmi
+termEditor.cmx: disambiguatingParser.cmx termEditor.cmi
+texTermEditor.cmo: disambiguatingParser.cmi texTermEditor.cmi
+texTermEditor.cmx: disambiguatingParser.cmx texTermEditor.cmi