diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-15 20:00:38 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-15 20:00:38 +0000 |
| commit | d2238952701ad864c2dec5d3891ff6e13a920f4b (patch) | |
| tree | 0903c7ab669fc3f6dae598eb27c856cc203a4a34 /release/Makefile | |
| parent | 2ef9f078425d538a8a7500d4aadfae302e8f778c (diff) | |
(dist-files): Add INSTALL-GRUB-MBR.
(install-dist): Install INSTALL-GRUB-MBR.
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index 9a365c3c..0d3e8c00 100644 --- a/release/Makefile +++ b/release/Makefile @@ -22,8 +22,8 @@ dir := release makemode := misc # Files that go into the root of binary distributions -dist-files = INSTALL-binary dist-README SETUP servers.boot boot-menu.grub \ - COPYING.LIB +dist-files = INSTALL-binary dist-README SETUP INSTALL-GRUB-MBR servers.boot \ + boot-menu.grub COPYING.LIB # Tools for making images tool-files = tool-Makefile install-stripped @@ -37,6 +37,7 @@ install-dist: dist-links cp $(srcdir)/INSTALL-binary $(dist-root)/ cp $(srcdir)/dist-README $(dist-root)/README 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 |