PREFIX ?= /usr/local

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