diff options
Diffstat (limited to 'man/Makefile.OSX')
| -rw-r--r-- | man/Makefile.OSX | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/man/Makefile.OSX b/man/Makefile.OSX new file mode 100644 index 0000000..5451acd --- /dev/null +++ b/man/Makefile.OSX @@ -0,0 +1,15 @@ +INSTALL ?= install + +PREFIX ?= /usr/local + +all: + +install: + $(INSTALL) -dm0755 "${DESTDIR}${PREFIX}/share/man/man1" + $(INSTALL) -m0644 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 |