diff options
author | rillig <rillig> | 2007-09-29 13:39:22 +0000 |
---|---|---|
committer | rillig <rillig> | 2007-09-29 13:39:22 +0000 |
commit | 03fc251340890ec8f95ca9335985eba6cf256e3f (patch) | |
tree | 3319d92a09490c46519986f9d0f1d51ed789042b /pkgtools/pkglint/Makefile | |
parent | 2d30fa2abb279cff8cff2e9d0c4ed4a5fc4ba21c (diff) | |
download | pkgsrc-03fc251340890ec8f95ca9335985eba6cf256e3f.tar.gz |
Honour the setting of MANINSTALL.
Diffstat (limited to 'pkgtools/pkglint/Makefile')
-rw-r--r-- | pkgtools/pkglint/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgtools/pkglint/Makefile b/pkgtools/pkglint/Makefile index c0d484a0ed6..3b89cfe41dd 100644 --- a/pkgtools/pkglint/Makefile +++ b/pkgtools/pkglint/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.363 2007/08/23 09:47:37 joerg Exp $ +# $NetBSD: Makefile,v 1.364 2007/09/29 13:39:22 rillig Exp $ # DISTNAME= pkglint-4.79 @@ -59,12 +59,14 @@ do-install: ${INSTALL_SCRIPT} ${WRKSRC}/pkglint.pl ${DESTDIR}${PREFIX}/bin/pkglint ${INSTALL_SCRIPT} ${WRKSRC}/lintpkgsrc.pl ${DESTDIR}${PREFIX}/bin/lintpkgsrc ${INSTALL_SCRIPT} ${WRKSRC}/plist-clash.pl ${DESTDIR}${PREFIX}/bin/plist-clash +.if !empty(MANINSTALL:Mcatinstall) ${INSTALL_MAN} ${WRKSRC}/lintpkgsrc.0 ${DESTDIR}${PREFIX}/${PKGMANDIR}/cat1 + ${INSTALL_MAN} ${WRKSRC}/pkglint.0 ${DESTDIR}${PREFIX}/${PKGMANDIR}/cat1 +.endif .if !empty(MANINSTALL:Mmaninstall) ${INSTALL_MAN} ${WRKSRC}/lintpkgsrc.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1 ${INSTALL_MAN} ${WRKSRC}/pkglint.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1 .endif - ${INSTALL_MAN} ${WRKSRC}/pkglint.0 ${DESTDIR}${PREFIX}/${PKGMANDIR}/cat1 ${INSTALL_DATA} ${FILESDIR}/makevars.map ${DESTDIR}${PREFIX}/share/pkglint/ ${INSTALL_DATA} ${FILESDIR}/deprecated.map ${DESTDIR}${PREFIX}/share/pkglint/ |