graphics/pinta: Moved man to share/man

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-24 10:44:48 +01:00
parent 76f620c1cd
commit 003854cd1f
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
2 changed files with 3 additions and 2 deletions

View File

@ -1,6 +1,6 @@
PORTNAME= pinta
PORTVERSION= 1.7.1
PORTREVISION= 3
PORTREVISION= 4
CATEGORIES= graphics
MASTER_SITES= https://github.com/PintaProject/Pinta/releases/download/${PORTVERSION}/
@ -18,6 +18,7 @@ RUN_DEPENDS= mono-addins>0:devel/mono-addins
USES= desktop-file-utils gmake gnome mono pkgconfig gettext-tools:build
USE_GNOME= gtksharp20
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
OPTIONS_DEFINE= NLS
OPTIONS_SUB= yes

View File

@ -7,7 +7,7 @@ lib/pinta/Pinta.Resources.dll
lib/pinta/Pinta.Tools.dll
lib/pinta/Pinta.exe
libdata/pkgconfig/pinta.pc
man/man1/pinta.1.gz
share/man/man1/pinta.1.gz
share/applications/pinta.desktop
share/icons/hicolor/16x16/apps/pinta.png
share/icons/hicolor/22x22/apps/pinta.png