virt_top_calendar1.cmx: virt_top_gettext.cmx virt_top.cmx
virt_top_xml.cmo: virt_top_gettext.cmo virt_top.cmi
virt_top_xml.cmx: virt_top_gettext.cmx virt_top.cmx
virt_top_calendar1.cmx: virt_top_gettext.cmx virt_top.cmx
virt_top_xml.cmo: virt_top_gettext.cmo virt_top.cmi
virt_top_xml.cmx: virt_top_gettext.cmx virt_top.cmx