From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fabien.dagnat@telecom-bretagne.eu>
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 DD93981792
	for <caml-list@sympa.inria.fr>; Fri,  5 Jul 2013 17:58:30 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  fabien.dagnat@telecom-bretagne.eu) identity=pra;
  client-ip=192.108.117.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="fabien.dagnat@telecom-bretagne.eu";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  fabien.dagnat@telecom-bretagne.eu designates 192.108.117.8 as
  permitted sender) identity=mailfrom; client-ip=192.108.117.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="fabien.dagnat@telecom-bretagne.eu";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@zproxy210.enst-bretagne.fr) identity=helo;
  client-ip=192.108.117.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="postmaster@zproxy210.enst-bretagne.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao0BAFzs1lHAbHUInGdsb2JhbABagzvCBRYOAQEBAQEICwkJFCiCZIF9iCIEmQagBpJ2aQOYcpMv
X-IPAS-Result: Ao0BAFzs1lHAbHUInGdsb2JhbABagzvCBRYOAQEBAQEICwkJFCiCZIF9iCIEmQagBpJ2aQOYcpMv
X-IronPort-AV: E=Sophos;i="4.87,1002,1363129200"; 
   d="scan'208";a="20155572"
Received: from zproxy210.enst-bretagne.fr ([192.108.117.8])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Jul 2013 17:58:30 +0200
Received: from localhost (localhost [127.0.0.1])
	by zproxy210.enst-bretagne.fr (Postfix) with ESMTP id F377166003
	for <caml-list@inria.fr>; Fri,  5 Jul 2013 17:58:29 +0200 (CEST)
X-Virus-Scanned: amavisd-new at zproxy210.enst-bretagne.fr
Received: from zproxy210.enst-bretagne.fr ([127.0.0.1])
	by localhost (zproxy210.enst-bretagne.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id ltY52hSrABtj for <caml-list@inria.fr>;
	Fri,  5 Jul 2013 17:58:29 +0200 (CEST)
Received: from portdagnat.secure.enstb.org (portdagnat.secure.enstb.org [193.50.97.194])
	by zproxy210.enst-bretagne.fr (Postfix) with ESMTPSA id A8B4C66002
	for <caml-list@inria.fr>; Fri,  5 Jul 2013 17:58:29 +0200 (CEST)
From: Dagnat Fabien <fabien.dagnat@telecom-bretagne.eu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Message-Id: <8D4165F2-D097-4497-AD9F-18AFA1E21266@telecom-bretagne.eu>
Date: Fri, 5 Jul 2013 17:58:29 +0200
To: "caml-list@inria.fr" <caml-list@inria.fr>
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
X-Mailer: Apple Mail (2.1508)
Subject: [Caml-list] =?WINDOWS-1252?Q?man=2C_doc=2C_=85_and_opam?=

Hello,
After reading the opam documentation, I'm not sure anything specific has be=
en done about the extra resources of packages (man and doc files for exampl=
e).

The only things, I found in the documentation is build-doc switch to indica=
te how to build the doc. For example, utop.1.5.opam contains
build-doc: [ "ocaml" "setup.ml" "-doc" ]

I was expecting to find the doc of utop but on my .opam repository, the doc=
 directory of utop is empty. Furthermore, in the utop.install file there is=
 no doc command.

Does it depends on how the install command have been done by the user? Have=
 I missed something?

More generally, my question also apply to man pages not found anywhere in t=
he opam documentation.

Fabien=