bin/gmixvm bin/mixasm bin/mixguile bin/mixvm @unexec install-info --delete %D/info/mdk.info %D/info/dir info/mdk.info @exec install-info %D/info/mdk.info %D/info/dir 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/mixgtk.glade share/gnome/mdk/mixguile-commands.scm share/gnome/mdk/mixguile-vm-stat.scm share/gnome/mdk/mixguile.scm share/gnome/mdk/mixvm.el 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