-automath/autOutput.cmi: automath/aut.cmx
-automath/autOutput.cmo: lib/log.cmi lib/cps.cmx automath/aut.cmx \
- automath/autOutput.cmi
-automath/autOutput.cmx: lib/log.cmx lib/cps.cmx automath/aut.cmx \
- automath/autOutput.cmi
+automath/autProcess.cmi: automath/aut.cmx
+automath/autProcess.cmo: automath/aut.cmx automath/autProcess.cmi
+automath/autProcess.cmx: automath/aut.cmx automath/autProcess.cmi
+automath/autOutput.cmi: automath/autProcess.cmi automath/aut.cmx
+automath/autOutput.cmo: lib/log.cmi lib/cps.cmx automath/autProcess.cmi \
+ automath/aut.cmx automath/autOutput.cmi
+automath/autOutput.cmx: lib/log.cmx lib/cps.cmx automath/autProcess.cmx \
+ automath/aut.cmx automath/autOutput.cmi