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 SAA25265 for caml-redistribution; Thu, 3 Apr 1997 18:20:44 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA24321; Thu, 3 Apr 1997 17:35:49 +0200 (MET DST)
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199704031535.RAA24321@pauillac.inria.fr>
Subject: Re: O'Caml refman source
In-Reply-To: <5lafnhqa8x.fsf@tequila.systemsz.cs.yale.edu> from Stefan Monnier at "Apr 2, 97 06:24:13 pm"
To: monnier+lists.caml@TEQUILA.SYSTEMSZ.CS.YALE.EDU (Stefan Monnier)
Date: Thu, 3 Apr 1997 17:35:49 +0200 (MET DST)
Cc: caml-list@pauillac.inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis

> Is the source of the refman available somewhere ?
> I can see html, dvi, ps, prn, txt (some compressed, some not), it
> seems that they should all derive from some magic source (TeXinfo
> or somesuch).

Actually, the source is in LaTeX with custom macros.

> Why isn't it available ?

The source plus all the translators is pretty complex and not too
clean. Besides, we figured that few, if any, users would actually need
the source of the documentation. Also, we'd rather no see modified
versions of the documentation disseminated here and there. But if you
have any legitimate use for the sources, let us (caml-light@inria.fr)
know and we'll work out something.

Regards,

- Xavier Leroy