From: "Alexis Ballier" <aballier@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ocaml-doc/
Date: Mon, 20 Feb 2017 15:36:59 +0000 (UTC) [thread overview]
Message-ID: <1487604880.fc5496fc1712264ff9dc33f02b70239610e723b9.aballier@gentoo> (raw)
commit: fc5496fc1712264ff9dc33f02b70239610e723b9
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 20 15:34:40 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Feb 20 15:34:40 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc5496fc
dev-ml/ocaml-doc: Bump to 4.04
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/ocaml-doc/Manifest | 1 +
dev-ml/ocaml-doc/ocaml-doc-4.04.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/ocaml-doc/Manifest b/dev-ml/ocaml-doc/Manifest
index 261e073825..7eafe29291 100644
--- a/dev-ml/ocaml-doc/Manifest
+++ b/dev-ml/ocaml-doc/Manifest
@@ -1 +1,2 @@
DIST ocaml-3.12-refman.html.tar.gz 525840 SHA256 fc553d1d6be95364710462822de702b238a224e7e0d2f58c65360ea77b6bc623 SHA512 b4cc9fa80cb3d889f69e4b305b0078a59db2f26b39d361307462b93ad63cb1d81fe81c2159c3aef2defa3e38c9e655205891b5ef790722a81dc5faa34e962ba4 WHIRLPOOL e16f58ee4f37377ff25f130d5b6c83873effa76edc8de2d17dfb6d36ac80b4b4ded71bd67427008f08041c38ced22f8cea9e5f3cfbf3819ccf80fa92a31ce722
+DIST ocaml-4.04-refman-html.tar.gz 833166 SHA256 1cb4afcdb64359eea2501c63085f62eda4bbac51fd89b7d5dbf56670ec1b88ba SHA512 027ad5ea08488beb5ce65ec97a8aaf04197317d7d3194de771a4170dea9f8b90fc4309fd917b4176cd930dd0835c84448771b84fa92a735cfc60668ef0a6a413 WHIRLPOOL 4b4c405f4ea2dd314ff76dd2c0e01ed749909a781395d5a9be2ef16613b930aa570e09f266fa789ac6460cff7946204bcbb20d907caba28ff6c208b9e111671e
diff --git a/dev-ml/ocaml-doc/ocaml-doc-4.04.ebuild b/dev-ml/ocaml-doc/ocaml-doc-4.04.ebuild
new file mode 100644
index 0000000000..a210f42d73
--- /dev/null
+++ b/dev-ml/ocaml-doc/ocaml-doc-4.04.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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/"
+}
next reply other threads:[~2017-02-20 15:37 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-20 15:36 Alexis Ballier [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-02-24 8:52 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ocaml-doc/ Petr Vaněk
2021-12-05 18:32 Sam James
2021-12-05 4:45 Sam James
2021-04-21 2:10 Sam James
2017-07-02 15:57 Alexis Ballier
2017-02-20 15:36 Alexis Ballier
2017-02-20 15:36 Alexis Ballier
2017-02-20 15:36 Alexis Ballier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1487604880.fc5496fc1712264ff9dc33f02b70239610e723b9.aballier@gentoo \
--to=aballier@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox