--- /dev/null
+cmdline.cmi:
+cmdline.cmo: utils.cmi cmdline.cmi
+cmdline.cmx: utils.cmx cmdline.cmi
+config.cmi:
+config.cmo: config.cmi
+config.cmx: config.cmi
+deviceSet.cmi:
+deviceSet.cmo: deviceSet.cmi
+deviceSet.cmx: deviceSet.cmi
+filetree.cmi: slave.cmi
+filetree.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi deviceSet.cmi filetree.cmi
+filetree.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmx deviceSet.cmx filetree.cmi
+filetree_ops.cmi: filetree_type.cmi
+filetree_ops.cmo: utils.cmi filetree_type.cmi filetree_ops.cmi
+filetree_ops.cmx: utils.cmx filetree_type.cmx filetree_ops.cmi
+filetree_type.cmi: slave.cmi
+filetree_type.cmo: utils.cmi slave.cmi filetree_type.cmi
+filetree_type.cmx: utils.cmx slave.cmx filetree_type.cmi
+main.cmo: window.cmi utils.cmi slave.cmi config.cmi cmdline.cmi
+main.cmx: window.cmx utils.cmx slave.cmx config.cmx cmdline.cmx
+slave.cmi:
+slave.cmo: utils.cmi slave.cmi
+slave.cmx: utils.cmx slave.cmi
+throbber.cmo:
+throbber.cmx:
+utils.cmi:
+utils.cmo: config.cmi utils.cmi
+utils.cmx: config.cmx utils.cmi
+window.cmi: cmdline.cmi
+window.cmo: utils.cmi throbber.cmo slave.cmi filetree.cmi cmdline.cmi window.cmi
+window.cmx: utils.cmx throbber.cmx slave.cmx filetree.cmx cmdline.cmx window.cmi