bin/gmixvm
bin/mixasm
bin/mixvm
@unexec install-info --delete %D/info/mdk.info %D/info/dir
info/mdk.info
info/mdk.info-1
info/mdk.info-2
info/mdk.info-3
@exec install-info %D/info/mdk.info %D/info/dir
share/gnome/mdk/mixgtk.glade
share/gnome/mdk/mixvm.el
@dirrm share/gnome/mdk
@dirrm share/gnome