diff options
| -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),) |