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