cmdline.cmi:
-cmdline.cmo: utils.cmi cmdline.cmi
-cmdline.cmx: utils.cmx cmdline.cmi
+cmdline.cmo: utils.cmi config.cmi cmdline.cmi
+cmdline.cmx: utils.cmx config.cmx cmdline.cmi
config.cmi:
config.cmo: config.cmi
config.cmx: config.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.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi filetree_markup.cmi deviceSet.cmi filetree.cmi
+filetree.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmx filetree_markup.cmx deviceSet.cmx filetree.cmi
+filetree_markup.cmi: slave.cmi filetree_type.cmi
+filetree_markup.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_markup.cmi
+filetree_markup.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_markup.cmi
filetree_ops.cmi: slave.cmi filetree_type.cmi
-filetree_ops.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi
-filetree_ops.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmi
+filetree_ops.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_markup.cmi filetree_ops.cmi
+filetree_ops.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_markup.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