dbm.cmo: dbm.cmi
dbm.cmx: dbm.cmi
dbm.cmi:
