-src/automath/autCrg.cmi: src/complete_rg/crg.cmx src/automath/aut.cmx
-src/automath/autCrg.cmo: src/common/options.cmx src/common/level.cmi \
- src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
- src/automath/aut.cmx src/automath/autCrg.cmi
-src/automath/autCrg.cmx: src/common/options.cmx src/common/level.cmx \
- src/common/entity.cmx src/complete_rg/crg.cmx src/lib/cps.cmx \
- src/automath/aut.cmx src/automath/autCrg.cmi
-src/xml/xmlLibrary.cmi: src/common/level.cmi src/common/entity.cmx \
- src/common/ccs.cmi
+src/automath/autCrg.cmi: src/common/status.cmx src/complete_rg/crg.cmx \
+ src/automath/aut.cmx
+src/automath/autCrg.cmo: src/common/status.cmx src/common/options.cmx \
+ src/common/marks.cmi src/common/level.cmi src/common/entity.cmx \
+ src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \
+ src/automath/autCrg.cmi
+src/automath/autCrg.cmx: src/common/status.cmx src/common/options.cmx \
+ src/common/marks.cmx src/common/level.cmx src/common/entity.cmx \
+ src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \
+ src/automath/autCrg.cmi
+src/xml/xmlLibrary.cmi: src/common/level.cmi src/common/entity.cmx