summaryrefslogtreecommitdiff
path: root/release
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-07-17 03:42:47 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-07-17 03:42:47 +0000
commit89c4a82b6e013652820809dfbb805a59eb9b9731 (patch)
tree203b4f2ce6d6a0252e1dd3c1f34a494852d1c717 /release
parent7dba74514da7fbe05eba61d0fe972cb221a468b2 (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')
-rw-r--r--release/Makefile5
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