- Install the manpage regardless of NOPORTDOCS

- Remove MANCOMPRESSED
- Use ${INSTALL_MAN} instead of ${INSTALL_DATA}
  to install the manpage

PR:		ports/155039
Submitted by:	lwhsu
This commit is contained in:
Nicola Vitale 2011-03-04 17:11:31 +00:00
parent 9d2138bb15
commit 9c32447de5
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=270310

View File

@ -21,13 +21,13 @@ USE_PYTHON= yes
USE_PYDISTUTILS= easy_install
PYDISTUTILS_PKGNAME= Pygments
.if !defined(NOPORTDOCS)
DOCSDIR= ${PREFIX}/share/doc/${PKGNAMEPREFIX}${PORTNAME}
MAN1= pygmentize.1
MANCOMPRESSED= no
post-install:
@${INSTALL_DATA} ${WRKSRC}/docs/${MAN1} ${MANPREFIX}/man/man1/
@${INSTALL_MAN} ${WRKSRC}/docs/${MAN1} ${MANPREFIX}/man/man1/
.if !defined(NOPORTDOCS)
@${MKDIR} ${DOCSDIR}
@cd ${WRKSRC}/docs/build && ${COPYTREE_SHARE} . ${DOCSDIR}
.endif