diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 03:42:47 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 03:42:47 +0000 |
commit | 89c4a82b6e013652820809dfbb805a59eb9b9731 (patch) | |
tree | 203b4f2ce6d6a0252e1dd3c1f34a494852d1c717 /release/Makefile | |
parent | 7dba74514da7fbe05eba61d0fe972cb221a468b2 (diff) |
(dist-files): boot-menu.grub -> menu.lst.
(install-dist): Likewise; also put it in /boot/grub and don't bother
with link in /etc.
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 |