diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-02 15:28:46 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-02 15:28:46 +0000 |
| commit | 2d3478e37159ebd7ba0d73390b2af5b32a34cc32 (patch) | |
| tree | db449afc60dd0e5698fdfeb7fda0d8b335ebd79f /release | |
| parent | 8c02e14e3860ae1811f193a938ca3686425d13a7 (diff) | |
*** empty log message ***
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index e450f4c8..f2f73a7f 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 \ - menu.lst COPYING.LIB + menu.lst COPYING.LIB SOURCES.0.0 # 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)/SOURCES.0.0 $(dist-root)/SOURCES cp $(srcdir)/INSTALL-GRUB-MBR $(dist-root)/INSTALL-GRUB-MBR cp $(srcdir)/servers.boot $(dist-root)/boot/servers.boot cp $(srcdir)/menu.lst $(dist-root)/boot/grub/menu.lst |