diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-10-15 12:27:55 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-10-15 12:27:55 +0200 |
| commit | 129fddd44da838e8c60cc798ebc121d6d3c72d57 (patch) | |
| tree | b4968fe792a25f7379f3655ac66da98f69eb7a77 | |
| parent | 106b303b1f76b8b92c89fb4f54c1f97ddbac5d2c (diff) | |
Use the MANDIR variable
| -rw-r--r-- | Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -1,8 +1,9 @@ .POSIX: -CFLAGS = -Ofast -march=native -mtune=native -pipe -Wall -Wextra -Werror -pedantic -PREFIX = /usr +CFLAGS = -Ofast -march=native -mtune=native -pipe -Wall -Wextra -Werror -pedantic +PREFIX = /usr DPREFIX = ${DESTDIR}${PREFIX} +MANDIR = ${DPREFIX}/share/man target = center @@ -13,6 +14,6 @@ clean: rm -f ${target} install: - mkdir -p ${DPREFIX}/bin ${DPREFIX}/share/man/man1 + mkdir -p ${DPREFIX}/bin ${MANDIR}/man1 cp ${target} ${DPREFIX}/bin - cp ${target}.1 ${DPREFIX}/share/man/man1 + cp ${target}.1 ${MANDIR}/man1 |