blob: ed221ffcb15157f79bbeb24a2262f2d55cc42f62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
bin/gmixvm
bin/mixasm
bin/mixguile
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
info/mdk.info-5
@exec install-info %D/info/mdk.info %D/info/dir
lib/charset.alias
share/gnome/locale/locale.alias
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/locale
@dirrm share/gnome/mdk
|
