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--