3 #MM- workbench-devs-diskimage : workbench-devs-diskimage-prefs workbench-devs-diskimage-device \
4 #MM workbench-devs-diskimage-gui workbench-devs-diskimage-mountdiskimage workbench-devs-diskimage-mounthdf \
5 #MM workbench-devs-diskimage-plugins
7 #MM- workbench-devs-diskimage-clean : workbench-devs-diskimage-support-clean workbench-devs-diskimage-prefs-clean \
8 #MM workbench-devs-diskimage-device-clean workbench-devs-diskimage-gui-clean workbench-devs-diskimage-mountdiskimage-clean \
9 #MM workbench-devs-diskimage-mounthdf-clean workbench-devs-diskimage-plugins-clean
11 #MM- workbench-devs-diskimage-quick : workbench-devs-diskimage-support-quick workbench-devs-diskimage-prefs-quick \
12 #MM workbench-devs-diskimage-device-quick workbench-devs-diskimage-gui-quick workbench-devs-diskimage-mountdiskimage-quick \
13 #MM workbench-devs-diskimage-mounthdf-quick workbench-devs-diskimage-plugins-quick