diff --git a/graphics/pinta/Makefile b/graphics/pinta/Makefile index 0284b5731147..ce732391370d 100644 --- a/graphics/pinta/Makefile +++ b/graphics/pinta/Makefile @@ -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 diff --git a/graphics/pinta/pkg-plist b/graphics/pinta/pkg-plist index 97abaa9b60ae..713a754472a1 100644 --- a/graphics/pinta/pkg-plist +++ b/graphics/pinta/pkg-plist @@ -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