From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 7A88480175
	for <caml-list@sympa.inria.fr>; Wed, 14 Jun 2017 15:14:32 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AUYtaRh8VFXteMv9uRHKM819IXTAuvvDOBiVQ1KB3?=
 =?us-ascii?q?0u4cTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?=
 =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?=
 =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?=
 =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?=
 =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?=
 =?us-ascii?q?kZNDA28m/XhNF3gq1UvB2vqAFwzpXIYIGMLvdyYrnQcc8YSGdHQ81fVzZBAoS5?=
 =?us-ascii?q?b4YXAeQOJ+BYr4jjqFsKtRSzGBW0BOXuyz9Mh3/9wKo33Pk7HgHA3QwvAdYOvG?=
 =?us-ascii?q?7Po9XoKqgSV+G0zK3JzTjYcfxWwy3955LUchAguPGMQKx/fdDNxkkvDg7IiEib?=
 =?us-ascii?q?p4LiPzOQzOsNsm6b4vJhVeKpkW4nqht+riKhxsc2jITCm4Ebykjc+Ch7z4s5P9?=
 =?us-ascii?q?21RU5hbdOnEZZcrSOXOoRuTs8/TWxkpTw2xqAbtZKmZiQHyI4rywPQZvCadYWD?=
 =?us-ascii?q?/wjtW/yLIThigXJoYLK/iAi28Uin0uD8Tcy00EpSriZfnNjDqGsC1xLJ5cebVv?=
 =?us-ascii?q?t9/0Ch2TCV2w/P7eFEJFg4lavdK5E/3r49jpgevEvZEiL2mEj6lqybe0Q+9uWq?=
 =?us-ascii?q?5OnrerDmqYWdN49whAH+KKMumsmnDOslKAcOWWmb9vq41LH55kL5XatFjvs3k6?=
 =?us-ascii?q?ndsZDXPtoUprSjAwBPzoYj6g+/Dyq439gCgXYHLEpJeAibgIjxJ1HOPPf4AO+j?=
 =?us-ascii?q?jFu2lTdrw+nKPrngApXWMnjOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtM?=
 =?us-ascii?q?aLRiM+Zgiz3uf8TtpwzYkTQ36nBaSQNafKq1jO7eUqZ6GHbYoR/TL8MOQN5vj0?=
 =?us-ascii?q?jHZ/l0VOU7Ou2M47YXa5E/BRCdGfc37tyoMNGGELsw54RvHnjk+GUBZefWy7Q6?=
 =?us-ascii?q?Ml+zx9A4LwXtSLfZyknLHUhHTzJZZRfG0TUl0=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A9AACzNUFZh0pWN0pEGhoBAQEBAgEBA?=
 =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYQPgQ2DdooYc5BiIpYGghEshXgCgw4YAQE?=
 =?us-ascii?q?BAQEBAQEBAQESAQEBCgsJCCgvgjMigkQBAgIBI1sLCxoCJgICRxAHEookCBAxr?=
 =?us-ascii?q?g+CJos9DAEgBYELh22Ca4MmgUSDEiuCFx8Fnkd8hjCOFYkXhwOUeh+BQoFRhRy?=
 =?us-ascii?q?Bc3UBiXoBAQE?=
X-IPAS-Result: =?us-ascii?q?A0A9AACzNUFZh0pWN0pEGhoBAQEBAgEBAQEIAQEBARUBAQE?=
 =?us-ascii?q?BAgEBAQEIAQEBAYQPgQ2DdooYc5BiIpYGghEshXgCgw4YAQEBAQEBAQEBAQESA?=
 =?us-ascii?q?QEBCgsJCCgvgjMigkQBAgIBI1sLCxoCJgICRxAHEookCBAxrg+CJos9DAEgBYE?=
 =?us-ascii?q?Lh22Ca4MmgUSDEiuCFx8Fnkd8hjCOFYkXhwOUeh+BQoFRhRyBc3UBiXoBAQE?=
X-IronPort-AV: E=Sophos;i="5.39,340,1493676000"; 
   d="scan'208";a="228308208"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Jun 2017 15:14:31 +0200
Received: from dhcp-10-248-102-240.eduroam.wireless.private.cam.ac.uk.mail (global-5-141.nat-2.net.cam.ac.uk [131.111.5.141])
	by smtp.webfaction.com (Postfix) with ESMTP id CB57B5B91375;
	Wed, 14 Jun 2017 13:13:24 +0000 (UTC)
Date: Wed, 14 Jun 2017 14:13:23 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: louis.gesbert@ocamlpro.com, caml-list@inria.fr
Message-ID: <etPan.59413673.6f0c4a67.542@erratique.ch>
In-Reply-To: <9810177.7m99MUd7xQ@maitake>
References: <ccbc859d-b8e8-4d0c-ac62-62417366321b@bioreg.kyushu-u.ac.jp>
 <9810177.7m99MUd7xQ@maitake>
X-Mailer: Airmail (442)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] ocamldoc doesn't show up for the Unix module in
 ocp-browser

On 14 June 2017 at 12:34:32, louis.gesbert@ocamlpro.com (louis.gesbert@ocam=
lpro.com) wrote:

> Apparently, the `.cmt` for Unix don't get installed as for the other modu=
les
> of the stdlib. ocp-index/ocp-browser extracts the docstrings directly from
> there, which explains the results.

If it also looks up cmti files. This should have been solved from 4.04 on. =
See=C2=A0

https://caml.inria.fr/mantis/view.php?id=3D7362

Best,

Daniel