mirror of
https://git.freebsd.org/ports.git
synced 2025-04-28 09:36:41 -04:00
lang/racket: Sanitize MANPREFIX
Approved by: portmgr (blanket)
This commit is contained in:
parent
74bb291924
commit
fe67740033
2 changed files with 11 additions and 10 deletions
|
@ -1,5 +1,6 @@
|
|||
PORTNAME= racket
|
||||
PORTVERSION= 8.11.1
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= lang scheme
|
||||
MASTER_SITES= http://mirror.racket-lang.org/installers/${PORTVERSION}/ \
|
||||
http://www.cs.utah.edu/plt/installers/${PORTVERSION}/ \
|
||||
|
@ -31,7 +32,7 @@ USE_GNOME= cairo pango
|
|||
GNU_CONFIGURE= yes
|
||||
CONFIGURE_ARGS= --enable-liblz4 \
|
||||
--enable-pthread \
|
||||
--mandir=${MANPREFIX}/man
|
||||
--mandir=${PREFIX}/share/man
|
||||
WRKSRC= ${WRKDIR}/racket-${PORTVERSION}/src
|
||||
PATCH_WRKSRC= ${WRKDIR}/racket-${PORTVERSION}
|
||||
USE_LDCONFIG= yes
|
||||
|
|
|
@ -12234,15 +12234,15 @@ lib/racket/mans.rktd
|
|||
lib/racket/starter
|
||||
lib/racket/starter-sh
|
||||
lib/racket/system.rktd
|
||||
man/man1/drracket.1.gz
|
||||
man/man1/gracket.1.gz
|
||||
man/man1/mred.1.gz
|
||||
man/man1/mzc.1.gz
|
||||
man/man1/mzscheme.1.gz
|
||||
man/man1/plt-help.1.gz
|
||||
man/man1/racket.1.gz
|
||||
man/man1/raco.1.gz
|
||||
man/man1/setup-plt.1.gz
|
||||
share/man/man1/drracket.1.gz
|
||||
share/man/man1/gracket.1.gz
|
||||
share/man/man1/mred.1.gz
|
||||
share/man/man1/mzc.1.gz
|
||||
share/man/man1/mzscheme.1.gz
|
||||
share/man/man1/plt-help.1.gz
|
||||
share/man/man1/racket.1.gz
|
||||
share/man/man1/raco.1.gz
|
||||
share/man/man1/setup-plt.1.gz
|
||||
share/applications/drracket.desktop
|
||||
share/applications/slideshow.desktop
|
||||
%%PORTDOCS%%%%DOCSDIR%%/2d/blueboxes.rktd
|
||||
|
|
Loading…
Add table
Reference in a new issue