summaryrefslogtreecommitdiff
path: root/release/Makefile
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-07-13 22:27:02 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-07-13 22:27:02 +0000
commita6fe2e3607a23648d76993b309bb29a36ede8eae (patch)
tree5a3e383ae352ce99ac95fd33709c4c9f177c4b76 /release/Makefile
parent744c800a4c3aa4f46775bc23213faab4414494f6 (diff)
(dist-files): Add servers.boot.
(install-dist): Install servers.boot. (dist-links): Create $(dist-root)/boot.
Diffstat (limited to 'release/Makefile')
-rw-r--r--release/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile
index d9fe31df..c563643e 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
+dist-files = INSTALL-binary dist-README SETUP servers.boot
# Tools for making images
tool-files = tool-Makefile install-stripped
@@ -36,8 +36,10 @@ install-dist: dist-links
cp INSTALL-binary $(dist-root)/
cp dist-README $(dist-root)/README
cp SETUP $(dist-root)/SETUP
+ cp servers.boot $(dist-root)/boot
dist-links:
+ mkdir -p $(dist-root)/boot
mkdir -p $(dist-root)/servers/socket
touch $(dist-root)/servers/socket/{1,2}
ln $(dist-root)/servers/socket/1 /servers/socket/local