From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <louis.gesbert@ocamlpro.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 7837180175
	for <caml-list@sympa.inria.fr>; Thu, 15 Jun 2017 17:15:06 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=louis.gesbert@ocamlpro.com; spf=None smtp.mailfrom=louis.gesbert@ocamlpro.com; spf=Pass smtp.helo=postmaster@mail.antislash.info
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  louis.gesbert@ocamlpro.com) identity=pra;
  client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="louis.gesbert@ocamlpro.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  louis.gesbert@ocamlpro.com) identity=mailfrom;
  client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="louis.gesbert@ocamlpro.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@mail.antislash.info designates 37.187.244.36 as
  permitted sender) identity=helo; client-ip=37.187.244.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="louis.gesbert@ocamlpro.com";
  x-sender="postmaster@mail.antislash.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AhJAoyhSUdy9R7jk0I948Lp54ptpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa6yZBCN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJ?=
 =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?=
 =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?=
 =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?=
 =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?=
 =?us-ascii?q?gHLSY0/mHJhMJtgqxVoxWhqB5xw4Hbb4+aKOFzfr/Efd4AWWZNQtpdWzFHD4ih?=
 =?us-ascii?q?b4UPFe0BPeNAoof7oFsOsBq+BRKxD+3u1DBInWT50rMg0+Q9DArL2wggH9UTsH?=
 =?us-ascii?q?TVt9X5LqgSXv6uzKbT0zrDde9W1Cz66IfUaB8hpPWMXapqccrW00UgCwTFjlCJ?=
 =?us-ascii?q?pIHjIjib2OMNs22B4OphU+Kik28nqwdrojiu3MggkIfJhpgTx1vZ9it52J44KN?=
 =?us-ascii?q?O6RUJhfNKpE5lduzuEO4Z5Tc4uWW9ltSc8x7Ybo5C0ZjIKx44ixxPHa/yIbYyI?=
 =?us-ascii?q?4hX7WeaUOzh4hXZldKiliBa07Uigy/b8Vs2u31ZRripJiNjMtnYD1xzU8sSHS/?=
 =?us-ascii?q?198Vm92TuX2Q3e6PtILV03mKfZMZIt3LE9m5UJvUnNHyL6gED2g7WXdkUg9Oio?=
 =?us-ascii?q?8ePnYrD+q5+YMI90lwD+Mr80lsywH+s4KRMBUHaB+eSgz7Dj+lH2T69Pjv0yiq?=
 =?us-ascii?q?nZqpfaKd4Hqa6+Bg9Zypwj5AqnDze6zNQYmmEKI05fdxKCi4jlIlXOIPHjDfej?=
 =?us-ascii?q?mFmsizdqx/XePrL7GJnNL37DkK3gfbln8UJcxhAznphj4MdfA7QFZfbyQVPZtd?=
 =?us-ascii?q?rCDxZ/PRbwi8ruDtRw0ss0zWSdBq7RZK/bt16F4qQlPuSKdosUkDvnMfE55ufz?=
 =?us-ascii?q?gDkymQlOU7Ou2M4zb225BbxJLl6TbGDwyoMFFnoLpUwxQffghUeeeTlYbnO2R7?=
 =?us-ascii?q?g7oDo8DdT1Xs/4WomxjenZj2+AFZpMazUeBw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BVBwCSo0JZUST0uyVDGh4GDBkGDIQPg?=
 =?us-ascii?q?Q2PAZEEjQWCKYZZghEshXgCCIMWGAEBAQEBAQEBAQEBBQE3VYIzIoJEAQWBCQs?=
 =?us-ascii?q?YCSUPATMUBgESijAMMaw4i0MBCwEgBYZihQKDJoFEhVQfBZB9jUyCFIUajhaJH?=
 =?us-ascii?q?IcAlH8fN4ELMCEjXocRPjYBiVEBAQE?=
X-IPAS-Result: =?us-ascii?q?A0BVBwCSo0JZUST0uyVDGh4GDBkGDIQPgQ2PAZEEjQWCKYZ?=
 =?us-ascii?q?ZghEshXgCCIMWGAEBAQEBAQEBAQEBBQE3VYIzIoJEAQWBCQsYCSUPATMUBgESi?=
 =?us-ascii?q?jAMMaw4i0MBCwEgBYZihQKDJoFEhVQfBZB9jUyCFIUajhaJHIcAlH8fN4ELMCE?=
 =?us-ascii?q?jXocRPjYBiVEBAQE?=
X-IronPort-AV: E=Sophos;i="5.39,343,1493676000"; 
   d="scan'208";a="228442236"
Received: from antislash.info (HELO mail.antislash.info) ([37.187.244.36])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Jun 2017 17:15:05 +0200
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
To: caml-list@inria.fr,
 Daniel =?ISO-8859-1?Q?B=FCnzli?= <daniel.buenzli@erratique.ch>
Date: Thu, 15 Jun 2017 17:15:02 +0200
Message-ID: <12378782.0oQsUCjdlc@agaric>
Organization: OCamlPro
In-Reply-To: <etPan.59413673.6f0c4a67.542@erratique.ch>
References: <ccbc859d-b8e8-4d0c-ac62-62417366321b@bioreg.kyushu-u.ac.jp>
 <9810177.7m99MUd7xQ@maitake> <etPan.59413673.6f0c4a67.542@erratique.ch>
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="iso-8859-1"
X-Validation-by: louis.gesbert@ocamlpro.com
Subject: Re: [Caml-list] ocamldoc doesn't show up for the Unix module in
 ocp-browser

Yes, the cmti should be sufficient.

> - Daniel B=FCnzli, 14/06/2017 14:13 -
> On 14 June 2017 at 12:34:32, louis.gesbert@ocamlpro.com (louis.gesbert@oc=
amlpro.com) wrote:
>=20
> > Apparently, the `.cmt` for Unix don't get installed as for the other mo=
dules
> > of the stdlib. ocp-index/ocp-browser extracts the docstrings directly f=
rom
> > there, which explains the results.
>=20
> If it also looks up cmti files. This should have been solved from 4.04 on=
. See=20
>=20
> https://caml.inria.fr/mantis/view.php?id=3D7362
>=20
> Best,
>=20
> Daniel
>=20
>=20