mirror of
https://git.freebsd.org/ports.git
synced 2025-07-17 17:29:23 -04:00
x11-wm/wmanager-addons: Move man pages to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
361c6eddcf
commit
177a35569c
2 changed files with 5 additions and 3 deletions
|
@ -1,5 +1,6 @@
|
|||
PORTNAME= wmanager-addons
|
||||
PORTVERSION= 0.02
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= x11-wm
|
||||
MASTER_SITES= http://devel.ringlet.net/x11/wmanager-addons/
|
||||
|
||||
|
@ -13,6 +14,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING
|
|||
USES= perl5 uidfix
|
||||
USE_PERL5= run
|
||||
NO_ARCH= yes
|
||||
MAKE_ARGS= MANDIR="${PREFIX}/share/man/man"
|
||||
|
||||
OPTIONS_DEFINE= DOCS
|
||||
|
||||
|
|
|
@ -1,9 +1,9 @@
|
|||
bin/wmanager-loop
|
||||
bin/wmanagerrc-update
|
||||
man/man1/wmanager-loop.1.gz
|
||||
man/man1/wmanager.1.gz
|
||||
man/man1/wmanagerrc-update.1.gz
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Changes
|
||||
%%PORTDOCS%%%%DOCSDIR%%/README
|
||||
%%PORTDOCS%%%%DOCSDIR%%/THANKS
|
||||
%%PORTDOCS%%%%DOCSDIR%%/TODO
|
||||
share/man/man1/wmanager-loop.1.gz
|
||||
share/man/man1/wmanager.1.gz
|
||||
share/man/man1/wmanagerrc-update.1.gz
|
||||
|
|
Loading…
Add table
Reference in a new issue