From ffd5182119a437f67b02607cc3ea6e7885a92254 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Sat, 13 Jul 1996 22:34:13 +0000
Subject: (dist-files): install boot-menu.grub. (install-dist): install
 boot-menu.grub.

---
 release/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'release/Makefile')

diff --git a/release/Makefile b/release/Makefile
index 4e7d30f7..8fc6070e 100644
--- a/release/Makefile
+++ b/release/Makefile
@@ -22,7 +22,7 @@ dir := release
 makemode := misc
 
 # Files that go into the root of binary distributions
-dist-files = INSTALL-binary dist-README SETUP servers.boot
+dist-files = INSTALL-binary dist-README SETUP servers.boot boot-menu.grub
 
 # Tools for making images
 tool-files = tool-Makefile install-stripped
@@ -37,6 +37,8 @@ install-dist: dist-links
 	cp dist-README $(dist-root)/README
 	cp SETUP $(dist-root)/SETUP
 	cp servers.boot $(dist-root)/boot/servers.boot
+	cp boot-menu.grub $(dist-root)/boot/boot-menu.grub
+	ln -f $(dist-root)/boot/boot-menu.grub $(dist-root)/etc/boot-menu.grub
 
 dist-links:
 	mkdir -p $(dist-root)/boot
-- 
cgit v1.2.3