diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-06-23 17:33:45 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-06-23 17:33:45 +0000 |
commit | dd59c0790227cbe762d01625c184cea9387fec4d (patch) | |
tree | c52a3a9974da6ae8dee3749bb87569736275ba57 /release/Makefile | |
parent | 5424a78b952abb3eb78f57b324bab03b7f89d230 (diff) |
Mon Jun 23 11:47:51 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* INSTALL-binary (STEP I): Tell to use e2os if the filesystem was
made with Linux.
Mon Jun 16 11:56:33 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* Makefile (dist-links): Make $(dist-root)/boot/grub and
$(dist-root)/share/misc. Reported by Marcus G. Daniels
(marcus@cathcart.sysc.pdx.edu).
Diffstat (limited to 'release/Makefile')
-rw-r--r-- | release/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 9cee0497..0426bae3 100644 --- a/release/Makefile +++ b/release/Makefile @@ -44,8 +44,9 @@ install-dist: dist-links cp $(srcdir)/COPYING.LIB $(dist-root)/share/misc/COPYING.LIB dist-links: - mkdir -p $(dist-root)/boot + mkdir -p $(dist-root)/boot/grub mkdir -p $(dist-root)/servers/socket + mkdir -p $(dist-root)/share/misc touch $(dist-root)/servers/socket/1 touch $(dist-root)/servers/socket/2 ln -f $(dist-root)/servers/socket/1 $(dist-root)/servers/socket/local |