From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA17347 for caml-red; Thu, 28 Sep 2000 16:55:49 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA13848 for ; Thu, 28 Sep 2000 11:22:29 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8S9MTP22804 for ; Thu, 28 Sep 2000 11:22:29 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id LAA00422 for ; Thu, 28 Sep 2000 11:22:29 +0200 (MET DST) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8S9MSX23661 for ; Thu, 28 Sep 2000 11:22:28 +0200 (MET DST) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id LAA0000015482; Thu, 28 Sep 2000 11:22:28 +0200 (MET DST) Date: Thu, 28 Sep 2000 11:22:28 +0200 (MET DST) From: Damien Doligez Message-Id: <200009280922.LAA0000015482@beaune.inria.fr> To: caml-list@margaux.inria.fr Subject: Re: MacOS X et Caml Sender: weis@pauillac.inria.fr >From: Laurent =?iso-8859-1?Q?Ch=E9no?= >oui, mais moi je ne suis pas un pro ! >peux-tu nous donner les details ? que faut-il donc changer precisement ? Dans tools/ocamlmktop.tpl, a l'avant-derniere ligne, il faut changer "end" en "End". In the next-to-last line of file tools/ocamlmktop.tpl, change "end" into "End". -- Damien