-box.cmo: renderingAttrs.cmi box.cmi
-box.cmx: renderingAttrs.cmx box.cmi
-termContentPres.cmo: renderingAttrs.cmi content2presMatcher.cmi \
- cicNotationParser.cmi termContentPres.cmi
-termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
- cicNotationParser.cmx termContentPres.cmi
-boxPp.cmo: renderingAttrs.cmi box.cmi boxPp.cmi
-boxPp.cmx: renderingAttrs.cmx box.cmx boxPp.cmi
-cicNotationPres.cmo: termContentPres.cmi box.cmi cicNotationPres.cmi
-cicNotationPres.cmx: termContentPres.cmx box.cmx cicNotationPres.cmi