-termEditor.cmi: disambiguate.cmi
-texTermEditor.cmo: disambiguate.cmi misc.cmi texTermEditor.cmi
-texTermEditor.cmx: disambiguate.cmx misc.cmx texTermEditor.cmi
-texTermEditor.cmi: disambiguate.cmi
-applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \
- applyStylesheets.cmi
-applyStylesheets.cmx: cic2Xml.cmx misc.cmx sequentPp.cmx xml2Gdome.cmx \
- applyStylesheets.cmi
-applyStylesheets.cmi: cic2acic.cmi
-termViewer.cmo: applyStylesheets.cmi cic2acic.cmi logicalOperations.cmi \
- misc.cmi termViewer.cmi
-termViewer.cmx: applyStylesheets.cmx cic2acic.cmx logicalOperations.cmx \
- misc.cmx termViewer.cmi
-termViewer.cmi: cic2acic.cmi
+texTermEditor.cmo: disambiguate.cmi texTermEditor.cmi
+texTermEditor.cmx: disambiguate.cmx texTermEditor.cmi
+xmlDiff.cmo: xmlDiff.cmi
+xmlDiff.cmx: xmlDiff.cmi
+termViewer.cmo: logicalOperations.cmi xmlDiff.cmi termViewer.cmi
+termViewer.cmx: logicalOperations.cmx xmlDiff.cmx termViewer.cmi