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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id AE03A7ED52 for ; Thu, 26 Jul 2012 05:13:45 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQCADa1EFDRVaA2imdsb2JhbABFhS2zF3oIIgEBAQoJDQcSBiOCIAEBAQQBAQEPAiQIARscAQEDDAYFCw0JFg8JAwIBAgEREQEFARwTAQcBAR6HWwEDCwGdKAkDjCOCcYVmChknDVeIcQEFDJI1A5VIjjA+hBo X-IronPort-AV: E=Sophos;i="4.77,656,1336341600"; d="scan'208";a="151704078" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jul 2012 05:13:44 +0200 Received: by pbbro2 with SMTP id ro2so3079686pbb.27 for ; Wed, 25 Jul 2012 20:13:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:newsgroups:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=JRkQ95ks9mjKa3Ta2Z+R6yk3IhyfWhFAFdYy6Wfae1s=; b=ZYXYZ8aKWY/CKcQvre0ifw1d1865s6jIgyLCbZQSA/zwu9wtIVzPx23BGFJhihKIfe CbvXGIyCTStMq9CJYr9tE9Zfve4IxcMDCnHMUDsi5QFQeiZezuyPQZoM6tnB/M2EyYsW /wj2+LtdE0MjJyfnzAQiD22C7XjCEKIdSsGBAsEaDsBBsauHbWEZe8Y09NYKL3Wma3rt S0xAQP5QbEkN9x24mKvXBGbHAeRBtdjkhv2wazgc0p6s9hP0VQT6L11qZmIGxXc/8ikY NvqU9B0wAC1e5Zoec8mI7ImCT/j4wTmEJkdXD5DzfoTmuGKsS2o6DSoZ2aqC9vdu1Dbi wyhg== Received: by 10.68.227.37 with SMTP id rx5mr1609130pbc.47.1343272423059; Wed, 25 Jul 2012 20:13:43 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([117.43.21.91]) by mx.google.com with ESMTPS id ng8sm15586588pbc.13.2012.07.25.20.13.40 (version=SSLv3 cipher=OTHER); Wed, 25 Jul 2012 20:13:41 -0700 (PDT) Message-ID: <5010B5E0.8050401@gmail.com> Date: Wed, 25 Jul 2012 23:13:36 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 MIME-Version: 1.0 Newsgroups: gmane.comp.lang.caml.inria CC: Caml List References: <50107D65.1050502@gmail.com> In-Reply-To: <50107D65.1050502@gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Re: ocamldoc for ocaml's compiler? On 7/25/12 7:12 PM, Hongbo Zhang wrote: > Hi List, > Did anyone have a try to build ocamldoc's documentation for ocaml's > compiler? > Many Thanks > Hi, I managed to build documentation for ocaml compiler. Another problem comes that ocamldoc prefers .mli to .ml which renders -keep-code not useful. Any ideas? Once I finished, if people interested, I would be happy to share. Thanks