diff options
author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-24 18:06:16 +0000 |
---|---|---|
committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-24 18:21:01 +0000 |
commit | 1189805d578b011434ec604dd72b4058877b2e42 (patch) | |
tree | a3fe049fad502dfb482460fb0836f862ab83d64f | |
parent | 6eb91a9910260a2286e370a0d70eefb933a3e343 (diff) | |
download | ports-1189805d578b011434ec604dd72b4058877b2e42.tar.gz ports-1189805d578b011434ec604dd72b4058877b2e42.zip |
math/alt-ergo: Moved man to share/man
Approved by: portmgr (blanket)
-rw-r--r-- | math/alt-ergo/Makefile | 3 | ||||
-rw-r--r-- | math/alt-ergo/pkg-plist | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 7fc95e14929f..572358f84481 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -1,6 +1,6 @@ PORTNAME= alt-ergo PORTVERSION= 0.95.2 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= math MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ @@ -23,6 +23,7 @@ RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share USES= gmake USE_OCAML= yes ALL_TARGET= opt pack xpack META diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist index bf0cd1a27feb..72e2cd72fc17 100644 --- a/math/alt-ergo/pkg-plist +++ b/math/alt-ergo/pkg-plist @@ -4,4 +4,4 @@ lib/ocaml/alt-ergo/altErgo.cmi lib/ocaml/alt-ergo/altErgo.cmo lib/ocaml/alt-ergo/altErgo.cmx lib/ocaml/alt-ergo/altErgo.o -man/man1/alt-ergo.1.gz +share/man/man1/alt-ergo.1.gz |