| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/lang/erlang-man/ |
Upload File : |
PORTNAME= erlang
PORTVERSION= 24.3
PORTREVISION= 0
CATEGORIES= lang parallel
MASTER_SITES= http://www.erlang.org/download/
PKGNAMESUFFIX= -man
DISTNAME= otp_doc_man_${PORTVERSION}
DIST_SUBDIR= erlang
MAINTAINER= erlang@FreeBSD.org
COMMENT= Manual pages for Erlang/OTP
WWW= https://www.erlang.org/
LICENSE= APACHE20
NO_ARCH= yes
NO_BUILD= yes
WRKSRC= ${WRKDIR}
# The man-pages are put (in spite of FreeBSD's port convention) in a private
# subdir. This is to avoid cluttering up the man page name space. Also the
# Erlang man pages are more of internal documentation using the man format than
# actual system man pages. (erl.1 and epmd.1 perhaps being the exception).
do-install:
@${ECHO_CMD} "MANPATH ${PREFIX}/lib/erlang/man" > ${WRKDIR}/erlang.conf
${INSTALL_DATA} ${WRKDIR}/erlang.conf ${STAGEDIR}${PREFIX}/etc/man.d/erlang.conf
for SECTION in 1 3 4 6 7; do \
cd ${WRKSRC}/man/ && ${COPYTREE_SHARE} man$${SECTION} ${STAGEDIR}${PREFIX}/lib/erlang/man; \
done
.include <bsd.port.mk>