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 26AC67EC6E for ; Mon, 27 Jan 2014 12:30:37 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.91; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.91; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout1.freenet.de) identity=helo; client-ip=195.4.92.91; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout1.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8BAAhD5lLDBFxbnGdsb2JhbABZgmuELLpjFg4BAQEBAQYNCQkUKIIcM1UfAR0WCwILAwIBAgFYCAEBh2wBFQMBnEePEZYuCYFDAYR3jyqCGQ8xgUkEnmkFjwU X-IPAS-Result: Ao8BAAhD5lLDBFxbnGdsb2JhbABZgmuELLpjFg4BAQEBAQYNCQkUKIIcM1UfAR0WCwILAwIBAgFYCAEBh2wBFQMBnEePEZYuCYFDAYR3jyqCGQ8xgUkEnmkFjwU X-IronPort-AV: E=Sophos;i="4.95,728,1384297200"; d="scan'208,217";a="55002363" Received: from mout1.freenet.de ([195.4.92.91]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Jan 2014 12:30:33 +0100 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout1.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.80.1 #4) id 1W7kOe-0003ez-6V for caml-list@inria.fr; Mon, 27 Jan 2014 12:30:32 +0100 Received: from localhost ([::1]:45518 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #4) id 1W7kOe-000160-16 for caml-list@inria.fr; Mon, 27 Jan 2014 12:30:32 +0100 Received: from mx16.freenet.de ([195.4.92.26]:59331) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #4) id 1W7kMA-0008Tw-H6 for caml-list@inria.fr; Mon, 27 Jan 2014 12:27:58 +0100 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:36780) by mx16.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) (port 465) (Exim 4.80.1 #4) id 1W7kMA-00057J-8I for caml-list@inria.fr; Mon, 27 Jan 2014 12:27:58 +0100 Message-ID: <52E642BD.7050906@freenet.de> Date: Mon, 27 Jan 2014 12:27:57 +0100 From: "Mr. Herr" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="------------060804060202070609090501" X-Originated-At: 2001:6f8:1c00:fb::2!36780 Subject: [Caml-list] opam - how to make doc This is a multi-part message in MIME format. --------------060804060202070609090501 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Hi, I noticed that the doc is not made when doing an 'opam install exitlib', the directory OPAMROOT/system/doc/extlib is empty. To check I took the tar file an did 'make doc', it generated doc in the extlib/doc directory just fine. Is the html doc somewhere there under the opam root dir? If not, how can I tell opam to generate it? /Str. --------------060804060202070609090501 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Hi,

I noticed that the doc is not made when doing an 'opam install exitlib',
the directory OPAMROOT/system/doc/extlib is empty.

To check I took the tar file an did 'make doc', it generated doc in the extlib/doc directory just fine.

Is the html doc somewhere there under the opam root dir? If not, how can I tell opam to generate it?

/Str.

--------------060804060202070609090501-- 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 D4AC77F719 for ; Mon, 27 Jan 2014 19:05:06 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AopDAOye5lJQW+UDgWdsb2JhbABag2qDLbprBgIWDgEBFiYogiUBAQEEI0sbCxgCAiYCAhBHEwYCAQGHbAEDFQGqE5ZKCUEMhW6BKY0TAQFsglmBSQSPRZw/gW+BcA X-IPAS-Result: AopDAOye5lJQW+UDgWdsb2JhbABag2qDLbprBgIWDgEBFiYogiUBAQEEI0sbCxgCAiYCAhBHEwYCAQGHbAEDFQGqE5ZKCUEMhW6BKY0TAQFsglmBSQSPRZw/gW+BcA X-IronPort-AV: E=Sophos;i="4.95,730,1384297200"; d="scan'208";a="55083429" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 27 Jan 2014 19:05:06 +0100 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1W7qYS-0004Ju-9v for caml-list@inria.fr; Mon, 27 Jan 2014 19:05:04 +0100 Received: from 85.183.11.189 ([85.183.11.189]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 27 Jan 2014 19:05:04 +0100 Received: from misterherr by 85.183.11.189 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 27 Jan 2014 19:05:04 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Herr Date: Mon, 27 Jan 2014 18:57:21 +0100 Message-ID: References: <52E642BD.7050906@freenet.de> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 85.183.11.189 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 In-Reply-To: <52E642BD.7050906@freenet.de> Subject: Re: [Caml-list] opam - how to make doc Am 27.01.2014 18:37, schrieb Ian Zimmerman:> You (or your mail program, which is supposed to do your bidding) set the Reply-To > header. On mailing lists this is usually interpreted as requesting a private reply > instead of public one. In spite of well meant tries such as Mail-Followup-To I think > there is no standard way to request both, short of asking explicitly in the body of > the message. > > > "Mr. Herr" wrote: > > > Am 27.01.2014 15:20, schrieb Ian Zimmerman: > > On Mon, 27 Jan 2014 12:27:57 +0100 > "Mr. Herr" wrote: > > Herr> I noticed that the doc is not made when doing an 'opam install > Herr> exitlib', the directory OPAMROOT/system/doc/extlib is empty. > > With the current opam, you should be able to do > > opam install -d $PKG > > which will (in theory) put the documents into system/doc/$PKG. > In practice, this requires support by the package, and sadly almost no > packages seem to support it yet. > > Any special reason you don't want a public reply? > > > Hmm, what made you think so? > > I wrote to the list, I expected the answer from the list. And was surprised not to > see the answer on gmane. > > /Str. Sorry for the reply-to header - I don't have it set in thunderbird, in none of the accounts, have to doublecheck... /Str.