diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:17 +0000 |
| commit | bd3eb0783bbb485ac4b337865b83b9fc4a2db313 (patch) | |
| tree | 0e26df258321544c0c9929fda6b34768027180de /release | |
| parent | a6fe2e3607a23648d76993b309bb29a36ede8eae (diff) | |
(install-dist): better
Diffstat (limited to 'release')
| -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 |