diff options
Diffstat (limited to 'man/Makefile')
| -rw-r--r-- | man/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/man/Makefile b/man/Makefile new file mode 100644 index 0000000..807c157 --- /dev/null +++ b/man/Makefile @@ -0,0 +1,14 @@ +INSTALL ?= install + +PREFIX ?= /usr/local + +all: + +install: + $(INSTALL) -Dm0644 faketime.1 "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" + gzip -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" + +uninstall: + rm -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1.gz" + +.PHONY: all install uninstall |