diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:09:01 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:09:01 +0000 |
commit | c064fc93208c83a36580506e30367a598a8fef45 (patch) | |
tree | 9d8c34b98e702378ce8de77ad6e914c19f3068cd /release | |
parent | b15f9b53da17640a69d5a184ca7f27833098a44c (diff) |
(install-dist): Depend on dist-links.
(dist-links): New target.
Diffstat (limited to 'release')
-rw-r--r-- | release/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 9e2e986a..d9fe31df 100644 --- a/release/Makefile +++ b/release/Makefile @@ -32,10 +32,16 @@ DIST_FILES = README $(dist-files) $(tool-files) include ../Makeconf ifneq ($(dist-root),) -install-dist: +install-dist: dist-links cp INSTALL-binary $(dist-root)/ cp dist-README $(dist-root)/README cp SETUP $(dist-root)/SETUP + +dist-links: + mkdir -p $(dist-root)/servers/socket + touch $(dist-root)/servers/socket/{1,2} + ln $(dist-root)/servers/socket/1 /servers/socket/local + ln $(dist-root)/servers/socket/2 /servers/socket/inet endif ifneq ($(tool-root),) |