proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi
proceduralConversion.cmo: proceduralHelpers.cmi proceduralConversion.cmi
proceduralConversion.cmx: proceduralHelpers.cmx proceduralConversion.cmi
-procedural1.cmo: proceduralTypes.cmi proceduralTeX.cmi proceduralHelpers.cmi \
+procedural1.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
proceduralConversion.cmi proceduralClassify.cmi procedural1.cmi
-procedural1.cmx: proceduralTypes.cmx proceduralTeX.cmx proceduralHelpers.cmx \
+procedural1.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
proceduralConversion.cmx proceduralClassify.cmx procedural1.cmi
proceduralTeX.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
proceduralTeX.cmi