diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:33:25 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:33:25 +0000 |
commit | 8413110819c579a904c112a22752f26013de3fb7 (patch) | |
tree | 1ccd528b602a98a7997aaffee1bceadd9f29f84e | |
parent | 94cd9054884ac3b94847fe57dcdde0b1c93bfa6d (diff) |
(install-dist): Install COPYING.LIB and COPYING.
Fix commands to install most everything from $(srcdir).
-rw-r--r-- | release/Makefile | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/release/Makefile b/release/Makefile index 8fc6070e..9a365c3c 100644 --- a/release/Makefile +++ b/release/Makefile @@ -22,7 +22,8 @@ dir := release makemode := misc # Files that go into the root of binary distributions -dist-files = INSTALL-binary dist-README SETUP servers.boot boot-menu.grub +dist-files = INSTALL-binary dist-README SETUP servers.boot boot-menu.grub \ + COPYING.LIB # Tools for making images tool-files = tool-Makefile install-stripped @@ -33,12 +34,14 @@ include ../Makeconf ifneq ($(dist-root),) 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/servers.boot - cp boot-menu.grub $(dist-root)/boot/boot-menu.grub + cp $(srcdir)/INSTALL-binary $(dist-root)/ + cp $(srcdir)/dist-README $(dist-root)/README + cp $(srcdir)/SETUP $(dist-root)/SETUP + cp $(srcdir)/servers.boot $(dist-root)/boot/servers.boot + cp $(srcdir)/boot-menu.grub $(dist-root)/boot/boot-menu.grub ln -f $(dist-root)/boot/boot-menu.grub $(dist-root)/etc/boot-menu.grub + cp $(top_srcdir)/COPYING $(dist-root)/share/misc/COPYING + cp $(srcdir)/COPYING.LIB $(dist-root)/share/misc/COPYING.LIB dist-links: mkdir -p $(dist-root)/boot |