diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2014-05-25 05:18:13 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2014-05-25 05:18:13 +0000 |
| commit | 9315b9363626aa397b1ca97eb16816690902de98 (patch) | |
| tree | cc0f273ae566d9d10e7a21c42d8c5e2a2def48a9 /www | |
| parent | 654868e8badba9cfe747c7eefcdac4c3ac0748b5 (diff) | |
| download | ports-9315b9363626aa397b1ca97eb16816690902de98.tar.gz ports-9315b9363626aa397b1ca97eb16816690902de98.zip | |
- Stage support
PR: 189896
Notes
Notes:
svn path=/head/; revision=355115
Diffstat (limited to 'www')
| -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 |