diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..25ade59 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +PREFIX ?= /usr/local +BINDIR ?= $(PREFIX)/bin +MANDIR ?= $(PREFIX)/share/man/man1 + +.PHONY: install uninstall + +install: + install -d "$(DESTDIR)$(BINDIR)" + install -m 755 jgrep "$(DESTDIR)$(BINDIR)/jgrep" + install -d "$(DESTDIR)$(MANDIR)" + install -m 644 jgrep.1 "$(DESTDIR)$(MANDIR)/jgrep.1" + +uninstall: + rm -f "$(DESTDIR)$(BINDIR)/jgrep" + rm -f "$(DESTDIR)$(MANDIR)/jgrep.1" |
