diff options
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index c563643e..4e7d30f7 100644 --- a/release/Makefile +++ b/release/Makefile @@ -36,7 +36,7 @@ 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 + cp servers.boot $(dist-root)/boot/servers.boot dist-links: mkdir -p $(dist-root)/boot |