graphics/dia: Moved man to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
f20f8afb3b
commit
1c0ce5c60e
|
@ -1,6 +1,6 @@
|
|||
PORTNAME= dia
|
||||
PORTVERSION= 0.97.3
|
||||
PORTREVISION= 6
|
||||
PORTREVISION= 7
|
||||
PORTEPOCH= 1
|
||||
CATEGORIES= graphics gnome
|
||||
MASTER_SITES= GNOME
|
||||
|
@ -22,6 +22,7 @@ CPE_VENDOR= gnome
|
|||
USE_GNOME= gtk20 gnomeprefix libxslt libartlgpl2 intlhack
|
||||
|
||||
GNU_CONFIGURE= yes
|
||||
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
|
||||
CONFIGURE_ARGS= --disable-gnome
|
||||
CONFIGURE_ENV= LOCALBASE="${LOCALBASE}"
|
||||
|
||||
|
|
|
@ -34,8 +34,8 @@ lib/dia/libwpg_filter.so
|
|||
%%WMF%%lib/dia/libwmf_filter.so
|
||||
lib/dia/libxfig_filter.so
|
||||
lib/dia/libxslt_filter.so
|
||||
%%PORTDOCS%%man/fr/man1/dia.1.gz
|
||||
%%PORTDOCS%%man/man1/dia.1.gz
|
||||
%%PORTDOCS%%share/man/fr/man1/dia.1.gz
|
||||
%%PORTDOCS%%share/man/man1/dia.1.gz
|
||||
share/applications/dia.desktop
|
||||
share/dia/dia-splash.png
|
||||
share/dia/shapes/Assorted/arrow-chevron.png
|
||||
|
|
Loading…
Reference in New Issue