From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7E3D57F89E for ; Fri, 4 Apr 2014 09:39:46 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.145 as permitted sender) identity=mailfrom; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; 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@sainfoin-out.extra.cea.fr) identity=helo; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEBACJhPlOEp8CRnGdsb2JhbABXg0GDYcBzgSAWDgEBAQEBCAsJCRQogiUBAQEEIw8BRRELGAICBRYLAgIJAwIBAgFFEwgCh3UNrGKiZxeBKY1PFoJZgUkEmg+FHY8g X-IPAS-Result: AvEBACJhPlOEp8CRnGdsb2JhbABXg0GDYcBzgSAWDgEBAQEBCAsJCRQogiUBAQEEIw8BRRELGAICBRYLAgIJAwIBAgFFEwgCh3UNrGKiZxeBKY1PFoJZgUkEmg+FHY8g X-IronPort-AV: E=Sophos;i="4.97,793,1389740400"; d="scan'208";a="55512144" Received: from sainfoin-out.extra.cea.fr ([132.167.192.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Apr 2014 09:39:46 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id s347djh5031622 for ; Fri, 4 Apr 2014 09:39:45 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 108832020D9 for ; Fri, 4 Apr 2014 09:41:36 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id F329D200C26 for ; Fri, 4 Apr 2014 09:41:35 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id s347djVP029133 for ; Fri, 4 Apr 2014 09:39:45 +0200 Message-ID: <533E61C2.5010805@cea.fr> Date: Fri, 04 Apr 2014 09:39:46 +0200 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10 MIME-Version: 1.0 To: caml-list@inria.fr References: <533DC189.5090206@frisch.fr> In-Reply-To: <533DC189.5090206@frisch.fr> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Ocaml compiler documentation On 03/04/2014 22:16, Alain Frisch wrote: > Generally speaking, a good place to document the language is the user > manual. Don't hesitate to suggest patches to the manual as well! (The > source code is in the same repository: > http://caml.inria.fr/cgi-bin/viewvc.cgi/ocamldoc/trunk/ ). Why the usermanual of ocaml is in not in the ocaml repository? Is it for an historical, practical or another reason? When you add a new feature in a branch of the ocaml repository do you create also a branch in the ocamldoc one for documenting the feature? PS: viewvc.cgi/ocamldoc and viewvc.cgi/ocaml are on the same svn but not the same repository since they don't share the same trunk/branches/tags/version directories. Thank you, -- François