diff options
author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-23 13:39:36 +0000 |
---|---|---|
committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-23 13:55:18 +0000 |
commit | b50ff71910f6b0b365290f49edc3fb1306617e06 (patch) | |
tree | 1692fb431254cea8acd24d695b81040f3755091b | |
parent | 3fbdd916c10c1bd949a61271d1e83a0416c28a4b (diff) | |
download | ports-b50ff71910f6b0b365290f49edc3fb1306617e06.tar.gz ports-b50ff71910f6b0b365290f49edc3fb1306617e06.zip |
devel/mono-addins: Moved man to share/man
Approved by: portmgr (blanket)
-rw-r--r-- | devel/mono-addins/Makefile | 3 | ||||
-rw-r--r-- | devel/mono-addins/pkg-plist | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/devel/mono-addins/Makefile b/devel/mono-addins/Makefile index f66c24167f18..56f287a343e2 100644 --- a/devel/mono-addins/Makefile +++ b/devel/mono-addins/Makefile @@ -1,7 +1,7 @@ PORTNAME= mono-addins PORTVERSION= 1.3 DISTVERSIONPREFIX= ${PORTNAME}- -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= devel MAINTAINER= ports@FreeBSD.org @@ -14,6 +14,7 @@ USE_GITHUB= yes GH_ACCOUNT= mono GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ENV= ac_cv_path_MCS=${LOCALBASE}/bin/mcs USES= autoreconf gmake gnome mono pkgconfig diff --git a/devel/mono-addins/pkg-plist b/devel/mono-addins/pkg-plist index 54602b36672c..30f9f3bb9b1d 100644 --- a/devel/mono-addins/pkg-plist +++ b/devel/mono-addins/pkg-plist @@ -83,4 +83,4 @@ lib/mono/mono-addins/mautil.exe libdata/pkgconfig/mono-addins-msbuild.pc libdata/pkgconfig/mono-addins-setup.pc libdata/pkgconfig/mono-addins.pc -man/man1/mautil.1.gz +share/man/man1/mautil.1.gz |