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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 4339081792
	for <caml-list@sympa.inria.fr>; Mon,  8 Jul 2013 23:10:14 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ag0EAAsq21FKN1ZKamdsb2JhbAA/GoM7AYNUvXmBLw4NCQwGFCqCJAEFI1YQCxoCJgICRxAGARqIBwQIM6cwkSSBJo5FB4JUM2kDmHyEZxOONw
X-IPAS-Result: Ag0EAAsq21FKN1ZKamdsb2JhbAA/GoM7AYNUvXmBLw4NCQwGFCqCJAEFI1YQCxoCJgICRxAGARqIBwQIM6cwkSSBJo5FB4JUM2kDmHyEZxOONw
X-IronPort-AV: E=Sophos;i="4.87,1022,1363129200"; 
   d="scan'208";a="25066599"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Jul 2013 23:10:13 +0200
Received: from [192.168.1.126] (cpc3-cmbg9-0-0-cust324.5-4.cable.virginmedia.com [81.103.21.69])
	by smtp.webfaction.com (Postfix) with ESMTP id C52B821ABB5C;
	Mon,  8 Jul 2013 21:10:10 +0000 (UTC)
Date: Mon, 8 Jul 2013 22:10:09 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Gabriel Kerneis <gabriel@kerneis.info>, Gabriel Scherer
 <gabriel.scherer@gmail.com>
Cc: Thomas Gazagnaire <thomas@ocamlpro.com>, Dagnat Fabien
 <fabien.dagnat@telecom-bretagne.eu>, "=?utf-8?Q?caml-list=40inria.fr?="
 <caml-list@inria.fr>
Message-ID: <29E8BCAA43CE4D24AA7B005F7FB11DFD@erratique.ch>
In-Reply-To: <20130708171842.GB4525@kerneis.info>
References: <8D4165F2-D097-4497-AD9F-18AFA1E21266@telecom-bretagne.eu>
 <CF40837A7AD24604AFDE566AFB2A0FCC@erratique.ch>
 <DED141EF-1984-45E4-80DF-6378F67870BC@ocamlpro.com>
 <DC44114A5DFC437186715D3216D80D88@erratique.ch>
 <20130708171842.GB4525@kerneis.info>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] =?UTF-8?Q?man=2C_doc=2C_=E2=80=A6_and_opam?=

Gabriel S. asked me to make an entry in the bugtracker: 

http://caml.inria.fr/mantis/view.php?id=6067

Gabriel K. you may want to join the discussion to ensure that if something gets done it also satisfies you (I stole the suffix name you used for the target). 

Best,

Daniel