From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E140280175 for ; Thu, 15 Jun 2017 01:47:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.mailfrom=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.helo=postmaster@h4.hosting4.cc.kyushu-u.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=pra; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=mailfrom; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@h4.hosting4.cc.kyushu-u.ac.jp) identity=helo; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="postmaster@h4.hosting4.cc.kyushu-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEWnbehZLqB+8dOWyYKkoUj7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr869bnLW6fgltlLVR4KTs6sC0LuJ9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAk7m/XhMx+gqFVrh2vqBNwwZLbbo6OOfpifa7QZ88WSXZPU8tTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWr5P9qEEIrRSiAgmsBfjvwSJVi3H5waM03PwvHwDJ0gI8AtkDt2?= =?us-ascii?q?/bo8vvNKgMV+C1w7fHzS/YYvxN2Df975LIfQ4uof2WXrJxcdfRyVIvFwPYl1mQ?= =?us-ascii?q?tJbpMCmJ2egXsWib9/NtWOSygGAprAFxpyKgxsYqioTRh4IVzErE9SRjz4ovK9?= =?us-ascii?q?24Ukh2asOnHptIryyWKoV7T804T2xooio217MLtYS7cSQS1ZgqyRDSZ+aHfoSS?= =?us-ascii?q?/B7vSeWcLS1liH9qe7+ygQu5/1K6xe3mTMa01U5HripbndnIsXAAzxzT58edRv?= =?us-ascii?q?t9+UehwiqP1wHV6uFLLk04j7bUJII7zr4zlpsTrF/DHi/rmEnvka+abF8r9fSy?= =?us-ascii?q?5+TlerXqvp6cN4lqhQHiKqkih8KyDOoiPgUORWSX5Oqx2Kfj8EHhRbVFlPw2kq?= =?us-ascii?q?3XsJDAIsQbo7a0DBRL3YY59Rm/CTim38oCnXQcN11FeRWHj5L3NFHBOvz4Dve+?= =?us-ascii?q?g0m3kDdr2vDKJ6DhDo/XIXffirvhf65951ZGyAUv1dBf+45UCrYZLf3vQEDxsd?= =?us-ascii?q?jYAgY9Mwy12ObnFM5w1pgeWGKKGq+WKrnesV6O5uI1IumDfpUZuDjnK6tt2/m7?= =?us-ascii?q?hnY8nRoZfLK19ZoRcnGxWPp8cGuDZn+5rM0IF2wNvxF2ZsHQpXutfAQbM3y/Ra?= =?us-ascii?q?866TwhIIinCp3OScaukaGa3Dr+A9tfbSZEEgbfQj/Ta4yYVqJUO2qpKch7n2lc?= =?us-ascii?q?WA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtAAAEykFZlwUNBYVDGhsBAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYQPA4EKg3aLC5EDmBcBK4V4AoMWFAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQEBCBYGV4IzIoJEAQIDIw8BBVELGAICJgICHzgTBgIBAYonETGsP4Imh?= =?us-ascii?q?3Iag0MBCwEgBYELh2KCdoMmghCCRoJCHwWHQQeJdY0KHocOjCaLFoZzlHo2gSu?= =?us-ascii?q?BCUiFHIIBZwGJegEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DtAAAEykFZlwUNBYVDGhsBAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYQPA4EKg3aLC5EDmBcBK4V4AoMWFAEBAQEBAQEBAQEBEgEBAQEBCBYGV?= =?us-ascii?q?4IzIoJEAQIDIw8BBVELGAICJgICHzgTBgIBAYonETGsP4Imh3Iag0MBCwEgBYE?= =?us-ascii?q?Lh2KCdoMmghCCRoJCHwWHQQeJdY0KHocOjCaLFoZzlHo2gSuBCUiFHIIBZwGJe?= =?us-ascii?q?gEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,341,1493676000"; d="scan'208";a="278872873" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jun 2017 01:47:34 +0200 Received: from [192.168.2.36] (unknown [133.5.218.148]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: berenger@bioreg.kyushu-u.ac.jp) by h4.hosting4.cc.kyushu-u.ac.jp (hde-lc-postfix) with ESMTPSA id CE7A72AA600 for ; Thu, 15 Jun 2017 08:47:30 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr References: <9810177.7m99MUd7xQ@maitake> From: Francois BERENGER Message-ID: <03a399c7-05f0-f077-5ded-30a72d12d2f8@bioreg.kyushu-u.ac.jp> Date: Thu, 15 Jun 2017 08:47:30 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] ocamldoc doesn't show up for the Unix module in ocp-browser On 06/14/2017 10:13 PM, Daniel Bünzli wrote: > On 14 June 2017 at 12:34:32, louis.gesbert@ocamlpro.com (louis.gesbert@ocamlpro.com) wrote: > >> Apparently, the `.cmt` for Unix don't get installed as for the other modules >> 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 > > https://caml.inria.fr/mantis/view.php?id=7362 Ok, there are no .cmt/.cmti files installed for the unix module. I opened a bug in mantis: https://caml.inria.fr/mantis/view.php?id=7556 Thanks for the feedback Louis and Daniel. Regards, F.