mirror of
https://git.freebsd.org/ports.git
synced 2025-07-18 01:39:16 -04:00
databases/pgreplay: Manpage cleanup
While here, mollify portlint.
This commit is contained in:
parent
8b37c83737
commit
e7b1797805
1 changed files with 4 additions and 5 deletions
|
@ -1,7 +1,7 @@
|
|||
PORTNAME= pgreplay
|
||||
DISTVERSIONPREFIX= ${PORTNAME:tu}_
|
||||
DISTVERSION= 1_3_0
|
||||
PORTREVISION= 2
|
||||
PORTREVISION= 3
|
||||
CATEGORIES= databases
|
||||
|
||||
MAINTAINER= matthew@FreeBSD.org
|
||||
|
@ -10,18 +10,17 @@ WWW= https://github.com/laurenz/pgreplay
|
|||
|
||||
LICENSE= PostgreSQL
|
||||
|
||||
USES= pgsql autoreconf
|
||||
USE_GITHUB= yes
|
||||
GH_ACCOUNT= laurenz
|
||||
|
||||
USES= pgsql autoreconf
|
||||
GNU_CONFIGURE= yes
|
||||
|
||||
PLIST_FILES= bin/pgreplay man/man1/pgreplay.1.gz
|
||||
PLIST_FILES= bin/pgreplay share/man/man1/pgreplay.1.gz
|
||||
|
||||
ALL_TARGET= ${PORTNAME}
|
||||
|
||||
do-install:
|
||||
${INSTALL_PROGRAM} ${WRKSRC}/pgreplay ${STAGEDIR}${PREFIX}/bin
|
||||
${INSTALL_MAN} ${WRKSRC}/pgreplay.1 ${STAGEDIR}${PREFIX}/man/man1
|
||||
${INSTALL_MAN} ${WRKSRC}/pgreplay.1 ${STAGEDIR}${PREFIX}/share/man/man1
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
|
Loading…
Add table
Reference in a new issue