diff options
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/release/Makefile b/release/Makefile index 0d3e8c00..1e9630f3 100644 --- a/release/Makefile +++ b/release/Makefile @@ -23,7 +23,7 @@ makemode := misc # Files that go into the root of binary distributions dist-files = INSTALL-binary dist-README SETUP INSTALL-GRUB-MBR servers.boot \ - boot-menu.grub COPYING.LIB + menu.lst COPYING.LIB # Tools for making images tool-files = tool-Makefile install-stripped @@ -39,8 +39,7 @@ install-dist: dist-links cp $(srcdir)/SETUP $(dist-root)/SETUP cp $(srcdir)/INSTALL-GRUB-MBR $(dist-root)/INSTALL-GRUB-MBR cp $(srcdir)/servers.boot $(dist-root)/boot/servers.boot - cp $(srcdir)/boot-menu.grub $(dist-root)/boot/boot-menu.grub - ln -f $(dist-root)/boot/boot-menu.grub $(dist-root)/etc/boot-menu.grub + cp $(srcdir)/menu.lst $(dist-root)/boot/grub/menu.lst cp $(top_srcdir)/COPYING $(dist-root)/share/misc/COPYING cp $(srcdir)/COPYING.LIB $(dist-root)/share/misc/COPYING.LIB |