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