diff options
| author | Teddy Wing | 2022-05-21 20:37:17 +0200 |
|---|---|---|
| committer | Teddy Wing | 2022-05-21 20:37:17 +0200 |
| commit | ed21989821175af68bc9bfa558b677991e04802d (patch) | |
| tree | 8094cb8f1caf463c1e36223a182aae3fa752494a | |
| parent | 784c0f7bd5254d184cb3ccef70491ce277ce8250 (diff) | |
| download | wajir-ed21989821175af68bc9bfa558b677991e04802d.tar.bz2 | |
Makefile: Add `install` target
| -rw-r--r-- | Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -16,11 +16,17 @@ # along with Wajir. If not, see <https://www.gnu.org/licenses/>. +PREFIX=/usr/local + LISP ?= sbcl MAN_PAGE := doc/wajir.1 +.PHONY: all +all: wajir $(MAN_PAGE) + + .PHONY: build build: wajir @@ -36,3 +42,9 @@ doc: $(MAN_PAGE) $(MAN_PAGE): doc/wajir.1.txt a2x --no-xmllint --format manpage $< + + +.PHONY: install +install: + install -m 755 wajir $(PREFIX)/bin + install -m 755 $(MAN_PAGE) $(PREFIX)/share/man/man1 |