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
info/mdk.info-4
@exec install-info %D/info/mdk.info %D/info/dir
share/gnome/mdk/mixgtk.glade
share/gnome/mdk/mixvm.el
share/gnome/mdk/clear.xpm
share/gnome/mdk/colors.xpm
share/gnome/mdk/compile.xpm
share/gnome/mdk/devdir.xpm
share/gnome/mdk/edit.xpm
share/gnome/mdk/extern.xpm
share/gnome/mdk/font.xpm
share/gnome/mdk/fontl.xpm
share/gnome/mdk/jump.xpm
share/gnome/mdk/next.xpm
share/gnome/mdk/onew.xpm
share/gnome/mdk/open.xpm
share/gnome/mdk/output.xpm
share/gnome/mdk/run.xpm
share/gnome/mdk/splitw.xpm
share/gnome/mdk/symbols.xpm
@dirrm share/gnome/mdk