diff options
| author | Yasuhiro Kimura <yasu@utahime.org> | 2021-07-13 03:59:24 +0000 |
|---|---|---|
| committer | Tobias C. Berner <tcberner@FreeBSD.org> | 2021-07-14 12:26:13 +0000 |
| commit | 76f8790617d3e5d7ab76803b15c7084d5818f8a7 (patch) | |
| tree | 2952978669fca93143a87c4edce531ec85746aa3 /japanese/another-htmllint | |
| parent | 88de9d949b0ff38bcbb78f68daa9b8cd9306dd9a (diff) | |
| download | ports-76f8790617d3e5d7ab76803b15c7084d5818f8a7.tar.gz ports-76f8790617d3e5d7ab76803b15c7084d5818f8a7.zip | |
japanese/another-htmllint: Install right 'htmllint' file
Install right 'htmllint' file. Currently one included in original
archive is installed. But to work correctly one generated from
file/htmllint.in need to be installed. So change 'do-install' target
so it installs the latter instead of the former.
PR: 256966
Diffstat (limited to 'japanese/another-htmllint')
| -rw-r--r-- | japanese/another-htmllint/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/japanese/another-htmllint/Makefile b/japanese/another-htmllint/Makefile index d9beb243b13e..03cd26cb8765 100644 --- a/japanese/another-htmllint/Makefile +++ b/japanese/another-htmllint/Makefile @@ -1,6 +1,6 @@ PORTNAME= another-htmllint PORTVERSION= 20111128 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= japanese www MASTER_SITES= http://openlab.ring.gr.jp/k16/htmllint/archives/ DISTNAME= htmllint @@ -50,7 +50,7 @@ do-build-W3M-on: do-install: ${MKDIR} ${STAGEDIR}${DATADIR}/rule ${STAGEDIR}${DATADIR}/html - cd ${WRKSRC} && ${INSTALL_SCRIPT} htmllint ${STAGEDIR}${PREFIX}/bin + cd ${WRKSRC} && ${INSTALL_SCRIPT} ../htmllint ${STAGEDIR}${PREFIX}/bin cd ${WRKSRC} && ${INSTALL_SCRIPT} ${HTML} ${STAGEDIR}${DATADIR}/html cd ${WRKSRC} && ${INSTALL_DATA} ${PM} ${STAGEDIR}${DATADIR} cd ${WRKSRC} && ${INSTALL_DATA} ${RULE} ${STAGEDIR}${DATADIR}/rule |