editors/pico-alpine: Moved man to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
a89020217b
commit
dc3283a0f2
@ -1,5 +1,5 @@
|
|||||||
PORTNAME= pico-alpine
|
PORTNAME= pico-alpine
|
||||||
PORTREVISION= 0
|
PORTREVISION= 1
|
||||||
CATEGORIES= editors
|
CATEGORIES= editors
|
||||||
DISTNAME= alpine-${PORTVERSION}
|
DISTNAME= alpine-${PORTVERSION}
|
||||||
|
|
||||||
|
|||||||
@ -1,4 +1,4 @@
|
|||||||
bin/pico
|
bin/pico
|
||||||
bin/pilot
|
bin/pilot
|
||||||
man/man1/pico.1.gz
|
share/man/man1/pico.1.gz
|
||||||
man/man1/pilot.1.gz
|
share/man/man1/pilot.1.gz
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user