sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi
sequentPp.cmx: cic2Xml.cmx cic2acic.cmx sequentPp.cmi
applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \
sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi
sequentPp.cmx: cic2Xml.cmx cic2acic.cmx sequentPp.cmi
applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \