diff options
Diffstat (limited to '')
| -rw-r--r-- | port/file2c/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/port/file2c/Makefile b/port/file2c/Makefile index 5917b82d..09f6b5d0 100644 --- a/port/file2c/Makefile +++ b/port/file2c/Makefile @@ -1,9 +1,15 @@ +PREFIX = ~/.local +MANDIR = ${PREFIX}/share/man + file2c: clean: rm -f file2c install: file2c file2c.1 - mkdir -p ~/.local/bin ~/.local/share/man/man1 - cp file2c ~/.local/bin - cp file2c.1 ~/.local/share/man/man1 + install -d ${PREFIX}/bin ${MANDIR}/man1 + install file2c ${PREFIX}/bin + install -m 644 file2c.1 ${MANDIR}/man1 + +uninstall: + rm -f ${PREFIX}/bin/file2c ${MANDIR}/man1/file2c.1 |