-objPp.cmo: content2pres.cmi cicNotationPres.cmi boxPp.cmi objPp.cmi
-objPp.cmx: content2pres.cmx cicNotationPres.cmx boxPp.cmx objPp.cmi
+content2Procedural.cmo: content2Procedural.cmi
+content2Procedural.cmx: content2Procedural.cmi
+objPp.cmo: content2pres.cmi content2Procedural.cmi cicNotationPres.cmi \
+ boxPp.cmi objPp.cmi
+objPp.cmx: content2pres.cmx content2Procedural.cmx cicNotationPres.cmx \
+ boxPp.cmx objPp.cmi