mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
Update docs for ocaml 3.12.1
This commit is contained in:
parent
f55bfaf2cf
commit
a6eb554178
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=309748
@ -1,28 +1,26 @@
|
||||
# New ports collection makefile for: ocaml-doc
|
||||
# Date created: 2004-02-03
|
||||
# Whom: Eugene Ossintsev
|
||||
#
|
||||
# Created by: Eugene Ossintsev
|
||||
# $FreeBSD$
|
||||
#
|
||||
|
||||
PORTNAME= ocaml
|
||||
PORTVERSION= 3.12
|
||||
PORTVERSION= 3.12.1
|
||||
CATEGORIES= lang
|
||||
MASTER_SITES= http://caml.inria.fr/distrib/${DISTNAME}/ \
|
||||
ftp://ftp.inria.fr/INRIA/caml-light/${DISTNAME}/ \
|
||||
ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/caml-light/${DISTNAME}/
|
||||
MASTER_SITES= http://caml.inria.fr/distrib/${DISTNAME:R}/ \
|
||||
ftp://ftp.inria.fr/INRIA/caml-light/${DISTNAME:R}/ \
|
||||
ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/caml-light/${DISTNAME:R}/
|
||||
PKGNAMESUFFIX= -doc
|
||||
DISTFILES= ${DISTNAME}-refman.html.tar.gz \
|
||||
${DISTNAME}-refman.ps.gz \
|
||||
${DISTNAME}-refman.pdf
|
||||
EXTRACT_ONLY= ${DISTNAME}-refman.html.tar.gz
|
||||
DISTFILES= ${DISTNAME}-refman-html.tar.gz \
|
||||
${DISTNAME:R}-refman.ps.gz \
|
||||
${DISTNAME:R}-refman.pdf
|
||||
EXTRACT_ONLY= ${DISTNAME}-refman-html.tar.gz
|
||||
|
||||
MAINTAINER= johans@FreeBSD.org
|
||||
COMMENT= Documentation (HTML, PS) for the Objective Caml
|
||||
|
||||
NO_BUILD= yes
|
||||
|
||||
PORTDOCS= *
|
||||
PORTDOCS= ${DISTNAME:R}-refman.ps \
|
||||
${DISTNAME:R}-refman.pdf \
|
||||
html
|
||||
|
||||
.ifdef(NOPORTDOCS)
|
||||
IGNORE= installs only documentation and you have NOPORTDOCS defined
|
||||
@ -32,7 +30,9 @@ do-install:
|
||||
@${MKDIR} ${DOCSDIR}/html/libref
|
||||
cd ${WRKDIR}/htmlman/libref && ${INSTALL_DATA} * ${DOCSDIR}/html/libref
|
||||
cd ${WRKDIR}/htmlman && ${INSTALL_DATA} [a-km-z]* libg* ${DOCSDIR}/html
|
||||
${INSTALL_DATA} ${DISTDIR}/${DISTNAME}-refman.ps.gz ${DOCSDIR}
|
||||
${INSTALL_DATA} ${DISTDIR}/${DISTNAME}-refman.pdf ${DOCSDIR}
|
||||
cp ${DISTDIR}/${DISTNAME:R}-refman.ps.gz ${WRKDIR}
|
||||
${GUNZIP_CMD} ${WRKDIR}/${DISTNAME:R}-refman.ps.gz
|
||||
${INSTALL_DATA} ${WRKDIR}/${DISTNAME:R}-refman.ps ${DOCSDIR}
|
||||
${INSTALL_DATA} ${DISTDIR}/${DISTNAME:R}-refman.pdf ${DOCSDIR}
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
@ -1,5 +1,5 @@
|
||||
SHA256 (ocaml-3.12-refman.html.tar.gz) = 84b9d793de25c75d4a3b7cd207bc17ddcf010c8a74296ced74c55814f6d038a1
|
||||
SIZE (ocaml-3.12-refman.html.tar.gz) = 526923
|
||||
SHA256 (ocaml-3.12.1-refman-html.tar.gz) = 84b9d793de25c75d4a3b7cd207bc17ddcf010c8a74296ced74c55814f6d038a1
|
||||
SIZE (ocaml-3.12.1-refman-html.tar.gz) = 526923
|
||||
SHA256 (ocaml-3.12-refman.ps.gz) = 6ce6338bb6bb88c59461d32d02febf2a2b378f0805ef0d827114b0dcef2a05c5
|
||||
SIZE (ocaml-3.12-refman.ps.gz) = 966339
|
||||
SHA256 (ocaml-3.12-refman.pdf) = 436f342c466a74a45879f1a11d7534f4eacc2fe6b746aa8e08c81be27fa1d5bf
|
||||
|
Loading…
Reference in New Issue
Block a user