From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA00311; Wed, 22 Aug 2001 12:54:13 +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 MAA00281 for ; Wed, 22 Aug 2001 12:54:12 +0200 (MET DST) Received: from pochi.inria.fr (pochi.inria.fr [128.93.8.128]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f7MAs7f16344; Wed, 22 Aug 2001 12:54:07 +0200 (MET DST) Received: (from mentre@localhost) by pochi.inria.fr (8.11.1/8.10.0) id f7MAs7G30675; Wed, 22 Aug 2001 12:54:07 +0200 X-Authentication-Warning: pochi.inria.fr: mentre set sender to David.Mentre@inria.fr using -f To: =?iso-8859-1?q?Jos=E9?= Romildo Malaquias Cc: caml-list@inria.fr Subject: Re: [Caml-list] Where is the source of the manual? References: <20010822063537.A28192@darling.home.br> From: David Mentre Date: 22 Aug 2001 12:54:07 +0200 In-Reply-To: <20010822063537.A28192@darling.home.br> Message-ID: User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jos=E9 Romildo Malaquias writes: > Where can the source of the Objective Caml reference manual be > found? The source is not publicly available. Not on purpose but rather because it is generated manually with home-grown tools. > I want it so that I can produce customized (like changed fonts and > paper sizes) output from them. However, maybe Xavier or Pierre can give you the .tex that you could hack.=20 Best regards, d. --=20 David.Mentre@inria.fr Opinions expressed here are only mine. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr