diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/ocaml-doc/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ocaml-doc/ocaml-doc-4.05.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ocaml-doc/Manifest b/dev-ml/ocaml-doc/Manifest index 4aa9e10156aa..2e2410e25994 100644 --- a/dev-ml/ocaml-doc/Manifest +++ b/dev-ml/ocaml-doc/Manifest @@ -1 +1,2 @@ DIST ocaml-4.04-refman-html.tar.gz 833166 SHA256 1cb4afcdb64359eea2501c63085f62eda4bbac51fd89b7d5dbf56670ec1b88ba SHA512 027ad5ea08488beb5ce65ec97a8aaf04197317d7d3194de771a4170dea9f8b90fc4309fd917b4176cd930dd0835c84448771b84fa92a735cfc60668ef0a6a413 WHIRLPOOL 4b4c405f4ea2dd314ff76dd2c0e01ed749909a781395d5a9be2ef16613b930aa570e09f266fa789ac6460cff7946204bcbb20d907caba28ff6c208b9e111671e +DIST ocaml-4.05-refman-html.tar.gz 882419 SHA256 ddf1d1b29ebadd625e6c677b7820033c82d590f593ffc352627b7deeaf40ca8a SHA512 84688b06e61904345bc961d7244a74427025879c8e7365073887d76a560e5a373227d75c9f645f7bc16adbd05ea6a58918738beb13b5001cedc6b8289ed70bde WHIRLPOOL d4bf6e7b36a1048d5ea3d691e03ef3b4f3aed632f3fc0d01ae87e11eb276c52a9654fc00f94094645f534bb9e2203c5862d22f54678bbc3f2a7cfe98eae576fa diff --git a/dev-ml/ocaml-doc/ocaml-doc-4.05.ebuild b/dev-ml/ocaml-doc/ocaml-doc-4.05.ebuild new file mode 100644 index 000000000000..198cd811e65f --- /dev/null +++ b/dev-ml/ocaml-doc/ocaml-doc-4.05.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +DESCRIPTION="Ocaml reference manual (html)" +HOMEPAGE="http://caml.inria.fr/pub/docs/manual-ocaml/" +SRC_URI="http://caml.inria.fr/pub/distrib/ocaml-${PV}/ocaml-${PV}-refman-html.tar.gz" +LICENSE="GPL-2" + +KEYWORDS="~amd64 ~ppc ~x86" + +SLOT="0" +IUSE="" + +S=${WORKDIR}/htmlman + +src_install() { + dohtml -r * +} + +pkg_postinst() { + elog "This manual is available online at http://caml.inria.fr/pub/docs/manual-ocaml/" +} |