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 yquem.inria.fr (Postfix) with ESMTP id 774A2BBAF for ; Thu, 3 Jun 2010 15:07:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuIBANNFB0yBrw8EmWdsb2JhbACeJxUBAQEBAQgLCgcRIr59hRYE X-IronPort-AV: E=Sophos;i="4.53,354,1272837600"; d="scan'208";a="51696830" Received: from ext.lri.fr ([129.175.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 03 Jun 2010 15:07:02 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 0160BA46DA for ; Thu, 3 Jun 2010 15:07:02 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 381lCSOUR9N2 for ; Thu, 3 Jun 2010 15:06:52 +0200 (CEST) Received: from smtp-ng.lri.fr (smtp-ng [129.175.3.73]) by ext.lri.fr (Postfix) with ESMTP id 93904A473F for ; Thu, 3 Jun 2010 15:06:50 +0200 (CEST) Received: from [129.175.4.238] (lri4-238 [129.175.4.238]) by smtp-ng.lri.fr (Postfix) with ESMTP id 898BC12001F for ; Thu, 3 Jun 2010 15:06:50 +0200 (CEST) Message-ID: <4C07A86A.70101@lri.fr> Date: Thu, 03 Jun 2010 15:04:42 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100411 Icedove/3.0.4 MIME-Version: 1.0 To: caml-list Subject: Ocamldoc and Unicode characters Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; lri:01 ocamldoc:01 ocamldoc:01 encoding:02 correctly:04 generated:05 encoded:09 copied:12 print:13 but:14 some:14 does:14 does:14 using:15 comment:15 Hello, If I put some unicode characters inside an ocamldoc comment, it is copied as is, but the browser does not print them correctly because the page header does not say that the page is encoded using unicode. Is there a way I can change the header of the generated pages automatically to change the encoding information? Thanks, -- Romain Bardou