diff options
author | Wynn Wolf Arbor | 2020-05-05 16:19:36 +0200 |
---|---|---|
committer | Wynn Wolf Arbor | 2020-05-05 21:13:26 +0200 |
commit | 3f147a7c541f472f198366c0297fab4bc1a58ddc (patch) | |
tree | f5b8cb249a585aee8edbf38227071812631dad37 | |
parent | 5f83bed1dee53d46411e3e56e812afa78cc3bc32 (diff) | |
download | kern-0.3.0.tar.gz |
Add manuals to Makefile0.3.0
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,8 @@ PREFIX ?= /usr/local -install: kern +install: kern kern.1 kernfrag.7 install -D -m 755 -t '${DESTDIR}${PREFIX}/bin' kern + install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man1' kern.1 + install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man7' kernfrag.7 .PHONY: install |