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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 245647FE44 for ; Wed, 6 Jul 2016 11:45:46 +0200 (CEST) IronPort-PHdr: 9a23:1FrzgxQjyXxiRhUMQOpBODFoNNpsv+yvbD5Q0YIujvd0So/mwa64Yh2N2/xhgRfzUJnB7Loc0qyN4vimAzJLucjJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bopdaLPU1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVfaz8fqk8BZbMCiYiMihh6MTttBTHCwGS630OVmQ+nwBSChTE9Qz3GJzx5HjUrO14jWOhOsD5UaozQXDqyqZgSBbljG1PYzs4+2Heh8g2l6VWrw67oARXwojIbYXTP/17KPCONegGTHZMC54CHxdKBZmxOtMC Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga09.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; 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@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BVAAD50nxXhxiIhoZdhBR8Brk+gXcahX4CHIEPOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEEASMRFTAFCwIBCBoCBiACAgIwFRABAQQODYggBwGrcI96AQEBAQEBAQMBAQEBAQEBAQEegQGFJ4RMhEIVgmorghIdBZkNBgGQGo1WkAoegk+BV26HcwF+AQEB X-IPAS-Result: A0BVAAD50nxXhxiIhoZdhBR8Brk+gXcahX4CHIEPOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEEASMRFTAFCwIBCBoCBiACAgIwFRABAQQODYggBwGrcI96AQEBAQEBAQMBAQEBAQEBAQEegQGFJ4RMhEIVgmorghIdBZkNBgGQGo1WkAoegk+BV26HcwF+AQEB X-IronPort-AV: E=Sophos;i="5.28,318,1464645600"; d="scan'208";a="184027768" Received: from mga09.intel.com ([134.134.136.24]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Jul 2016 11:45:33 +0200 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by orsmga102.jf.intel.com with ESMTP; 06 Jul 2016 02:45:31 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.28,318,1464678000"; d="scan'208";a="841382270" Received: from irsmsx101.ger.corp.intel.com ([163.33.3.153]) by orsmga003.jf.intel.com with ESMTP; 06 Jul 2016 02:45:30 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX101.ger.corp.intel.com ([169.254.1.155]) with mapi id 14.03.0248.002; Wed, 6 Jul 2016 10:44:14 +0100 From: "Soegtrop, Michael" To: =?utf-8?B?RGFuaWVsIELDvG56bGk=?= CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Ocamldoc ignores section header special comments Thread-Index: AdHXZ65nK2w5qmoYRvu8ALTeiIlCfP//8ZcA///rgoA= Date: Wed, 6 Jul 2016 09:44:13 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1F2A4@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1F269@IRSMSX102.ger.corp.intel.com> <87B62CFDFABA4A48AC1B29B4835DBD1E@erratique.ch> In-Reply-To: <87B62CFDFABA4A48AC1B29B4835DBD1E@erratique.ch> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.180] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] Ocamldoc ignores section header special comments RGVhciBEYW5pZWwsDQoNCj4gV2hpY2ggY29tcGlsZXIgdmVyc2lvbiBhcmUg eW91IHVzaW5nID8NCiANCkkgYW0gdXNpbmcgNC4wMi4zLiBUaGFua3MgZm9y IHRoZSBoaW50LCBJIHdpbGwgc3dpdGNoIHRvIDQuMDMuDQoNCkJlc3QgcmVn YXJkcywNCg0KTWljaGFlbA0KSW50ZWwgRGV1dHNjaGxhbmQgR21iSApSZWdp c3RlcmVkIEFkZHJlc3M6IEFtIENhbXBlb24gMTAtMTIsIDg1NTc5IE5ldWJp YmVyZywgR2VybWFueQpUZWw6ICs0OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRl bC5kZQpNYW5hZ2luZyBEaXJlY3RvcnM6IENocmlzdGluIEVpc2Vuc2NobWlk LCBDaHJpc3RpYW4gTGFtcHJlY2h0ZXIKQ2hhaXJwZXJzb24gb2YgdGhlIFN1 cGVydmlzb3J5IEJvYXJkOiBOaWNvbGUgTGF1ClJlZ2lzdGVyZWQgT2ZmaWNl OiBNdW5pY2gKQ29tbWVyY2lhbCBSZWdpc3RlcjogQW10c2dlcmljaHQgTXVl bmNoZW4gSFJCIDE4NjkyOAo=