-automath/autLexer.cmo: lib/log.cmi automath/autParser.cmi
-automath/autLexer.cmx: lib/log.cmx automath/autParser.cmx
-common/hierarchy.cmi:
-common/hierarchy.cmo: lib/cps.cmx common/hierarchy.cmi
-common/hierarchy.cmx: lib/cps.cmx common/hierarchy.cmi
-common/output.cmi:
-common/output.cmo: lib/log.cmi common/output.cmi
-common/output.cmx: lib/log.cmx common/output.cmi
-common/entity.cmo: lib/nUri.cmi common/hierarchy.cmi automath/aut.cmx
-common/entity.cmx: lib/nUri.cmx common/hierarchy.cmx automath/aut.cmx
-common/library.cmi: common/hierarchy.cmi common/entity.cmx
-common/library.cmo: lib/nUri.cmi common/hierarchy.cmi common/entity.cmx \
- lib/cps.cmx common/library.cmi
-common/library.cmx: lib/nUri.cmx common/hierarchy.cmx common/entity.cmx \
- lib/cps.cmx common/library.cmi
+automath/autLexer.cmo: common/options.cmx lib/log.cmi automath/autParser.cmi
+automath/autLexer.cmx: common/options.cmx lib/log.cmx automath/autParser.cmx