Browse Source

deskutils/wmpinboard: Moved man to share/man

Approved by:    portmgr (blanket)
overlay
Muhammad Moinur Rahman 1 year ago
parent
commit
5cdc7fdfee
No known key found for this signature in database GPG Key ID: BDB9B5A617C0BC91
  1. 5
      deskutils/wmpinboard/Makefile

5
deskutils/wmpinboard/Makefile

@ -1,6 +1,6 @@
PORTNAME= wmpinboard
PORTVERSION= 1.0
PORTREVISION= 5
PORTREVISION= 6
CATEGORIES= deskutils afterstep windowmaker
MASTER_SITES= DEBIAN_POOL
DISTNAME= ${PORTNAME}_${PORTVERSION}.orig
@ -13,10 +13,11 @@ WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}.orig
USES= gmake xorg
USE_XORG= xpm
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
MAKE_ARGS= ACLOCAL="${TRUE}" AUTOCONF="${TRUE}" AUTOMAKE="${TRUE}" \
AUTOHEADER="${TRUE}"
PLIST_FILES= bin/wmpinboard \
man/man1/wmpinboard.1.gz
share/man/man1/wmpinboard.1.gz
.include <bsd.port.mk>

Loading…
Cancel
Save