editors/gummi: Moved man to share/man

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-23 17:00:42 +01:00
parent ab4ac3b014
commit 7cd5d5c2bd
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= gummi
PORTVERSION= 0.8.1
PORTREVISION= 24
PORTREVISION= 25
CATEGORIES= editors
MASTER_SITES= https://github.com/alexandervdm/gummi/releases/download/${PORTVERSION}/
@ -20,6 +20,7 @@ RUN_DEPENDS= etex:print/tex-formats
USES= cpe desktop-file-utils gmake gnome iconv pkgconfig xorg
CPE_VENDOR= ${PORTNAME}_project
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
USE_XORG= xcomposite xcursor xdamage xft
USE_GNOME= cairo glib20 gtksourceview3 intlhack

View file

@ -2,7 +2,7 @@ bin/gummi
share/applications/gummi.desktop
share/pixmaps/gummi.png
lib/gummi/latex_dvi.sh
man/man1/gummi.1.gz
share/man/man1/gummi.1.gz
%%DATADIR%%/ui/snippets.glade
%%DATADIR%%/ui/gummi.glade
%%DATADIR%%/ui/prefs.glade