kpriv
/
freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/eprover: Move man pages to share/man 

Approved by:	portmgr (blanket)
This commit is contained in:
Nuno Teixeira 2024-03-12 08:17:06 +00:00
parent b25deb9d2b
commit 0bbf829ecb
2 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/eprover/Makefile
View File

@ -1,7 +1,7 @@
PORTNAME= eprover
DISTVERSIONPREFIX= E-
DISTVERSION= 2.6
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -26,7 +26,7 @@ SHEBANG_FILES= etc/bjob_classify \
HAS_CONFIGURE= yes
CONFIGURE_ARGS= --bindir=${STAGEDIR}${PREFIX}/bin/ \
--man-prefix=${STAGEDIR}${PREFIX}/man/man1/
--man-prefix=${STAGEDIR}${PREFIX}/share/man/man1/
MAKE_ARGS= CC=${CC}
ALL_TARGET= all man

24
math/eprover/pkg-plist
View File

@ -10,15 +10,15 @@ bin/ekb_ginsert
bin/ekb_insert
bin/epclextract
bin/eprover
man/man1/checkproof.1.gz
man/man1/e_axfilter.1.gz
man/man1/e_deduction_server.1.gz
man/man1/e_ltb_runner.1.gz
man/man1/e_stratpar.1.gz
man/man1/eground.1.gz
man/man1/ekb_create.1.gz
man/man1/ekb_delete.1.gz
man/man1/ekb_ginsert.1.gz
man/man1/ekb_insert.1.gz
man/man1/epclextract.1.gz
man/man1/eprover.1.gz
share/man/man1/checkproof.1.gz
share/man/man1/e_axfilter.1.gz
share/man/man1/e_deduction_server.1.gz
share/man/man1/e_ltb_runner.1.gz
share/man/man1/e_stratpar.1.gz
share/man/man1/eground.1.gz
share/man/man1/ekb_create.1.gz
share/man/man1/ekb_delete.1.gz
share/man/man1/ekb_ginsert.1.gz
share/man/man1/ekb_insert.1.gz
share/man/man1/epclextract.1.gz
share/man/man1/eprover.1.gz