
#MM- workbench-devs-common : \
#MM    workbench-devs-diskimage

#MM- workbench-devs-common-quick : \
#MM    workbench-devs-diskimage-quick

#MM- workbench-devs-diskimage : \
#MM  workbench-devs-diskimage-prefs \
#MM  workbench-devs-diskimage-device \
#MM  workbench-devs-diskimage-gui \
#MM  workbench-devs-diskimage-mountdiskimage \
#MM  workbench-devs-diskimage-mounthdf \
#MM  workbench-devs-diskimage-plugins

#MM- workbench-devs-diskimage-quick : \
#MM  workbench-devs-diskimage-support-quick \
#MM  workbench-devs-diskimage-prefs-quick \
#MM  workbench-devs-diskimage-device-quick \
#MM  workbench-devs-diskimage-gui-quick \
#MM  workbench-devs-diskimage-mountdiskimage-quick \
#MM  workbench-devs-diskimage-mounthdf-quick \
#MM  workbench-devs-diskimage-plugins-quick

#MM- workbench-devs-diskimage-clean : \
#MM  workbench-devs-diskimage-support-clean \
#MM  workbench-devs-diskimage-prefs-clean \
#MM  workbench-devs-diskimage-device-clean \
#MM  workbench-devs-diskimage-gui-clean \
#MM  workbench-devs-diskimage-mountdiskimage-clean \
#MM  workbench-devs-diskimage-mounthdf-clean \
#MM  workbench-devs-diskimage-plugins-clean
