diff options
| -rw-r--r-- | www/weblint/Makefile | 1 | ||||
| -rw-r--r-- | www/weblint/files/patch-aa | 6 | ||||
| -rw-r--r-- | www/weblint/pkg-plist | 1 |
3 files changed, 4 insertions, 4 deletions
diff --git a/www/weblint/Makefile b/www/weblint/Makefile index fc54e286f503..c1d1514af815 100644 --- a/www/weblint/Makefile +++ b/www/weblint/Makefile @@ -12,5 +12,4 @@ COMMENT= HTML validator and sanity checker MAN1= weblint.1 -NO_STAGE= yes .include <bsd.port.mk> diff --git a/www/weblint/files/patch-aa b/www/weblint/files/patch-aa index 01909300a963..b4056c7bd165 100644 --- a/www/weblint/files/patch-aa +++ b/www/weblint/files/patch-aa @@ -15,9 +15,9 @@ SHELL = /bin/sh ! PREFIX ?= /usr/local -! BINDIR = ${PREFIX}/bin -! MANDIR = ${PREFIX}/man/man1 -! LIBDIR = ${PREFIX}/lib +! BINDIR = ${DESTDIR}${PREFIX}/bin +! MANDIR = ${DESTDIR}${PREFIX}/man/man1 +! LIBDIR = ${DESTDIR}${PREFIX}/lib PSROFF = groff -Tps PSVIEW = ghostview RM = /bin/rm -f diff --git a/www/weblint/pkg-plist b/www/weblint/pkg-plist index d1f98b24be9d..ed2fdab196db 100644 --- a/www/weblint/pkg-plist +++ b/www/weblint/pkg-plist @@ -1,2 +1,3 @@ bin/weblint lib/weblintrc +man/man1/weblint.1.gz |