-src/lib/cps.cmo:
-src/lib/cps.cmx:
-src/lib/share.cmo:
-src/lib/share.cmx:
-src/lib/log.cmi:
-src/lib/log.cmo: src/lib/log.cmi
-src/lib/log.cmx: src/lib/log.cmi
-src/lib/time.cmo: src/lib/log.cmi
-src/lib/time.cmx: src/lib/log.cmx
-src/common/options.cmo: src/lib/cps.cmx
-src/common/options.cmx: src/lib/cps.cmx
-src/common/marks.cmi:
-src/common/marks.cmo: src/common/marks.cmi
-src/common/marks.cmx: src/common/marks.cmi
-src/common/hierarchy.cmi:
-src/common/hierarchy.cmo: src/lib/cps.cmx src/common/hierarchy.cmi
-src/common/hierarchy.cmx: src/lib/cps.cmx src/common/hierarchy.cmi
-src/common/level.cmi:
-src/common/level.cmo: src/common/options.cmx src/common/marks.cmi \
+src/lib/cps.cmo :
+src/lib/cps.cmx :
+src/lib/share.cmo :
+src/lib/share.cmx :
+src/lib/log.cmi :
+src/lib/log.cmo : src/lib/log.cmi
+src/lib/log.cmx : src/lib/log.cmi
+src/lib/time.cmo : src/lib/log.cmi
+src/lib/time.cmx : src/lib/log.cmx
+src/common/options.cmo : src/lib/cps.cmx
+src/common/options.cmx : src/lib/cps.cmx
+src/common/marks.cmi :
+src/common/marks.cmo : src/common/marks.cmi
+src/common/marks.cmx : src/common/marks.cmi
+src/common/hierarchy.cmi :
+src/common/hierarchy.cmo : src/lib/cps.cmx src/common/hierarchy.cmi
+src/common/hierarchy.cmx : src/lib/cps.cmx src/common/hierarchy.cmi
+src/common/level.cmi :
+src/common/level.cmo : src/common/options.cmx src/common/marks.cmi \