diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:34:13 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:34:13 +0000 |
| commit | ffd5182119a437f67b02607cc3ea6e7885a92254 (patch) | |
| tree | 65da8f278ff52fe64ca3b3cba7268bef806ad85c /release/Makefile | |
| parent | a2b08c30d182248720f3d2070cafb615caf2a8ee (diff) | |
(dist-files): install boot-menu.grub.
(install-dist): install boot-menu.grub.
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
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 |