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 JAA02277; Sat, 12 May 2001 09:46:23 +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 JAA02273 for ; Sat, 12 May 2001 09:46:23 +0200 (MET DST) Received: from cremant.inria.fr (cremant.inria.fr [128.93.8.143]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4C7kIb01484; Sat, 12 May 2001 09:46:18 +0200 (MET DST) Received: (from lefessan@localhost) by cremant.inria.fr (8.11.0/8.11.0) id f4C7kHd09048; Sat, 12 May 2001 09:46:17 +0200 X-Authentication-Warning: cremant.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f From: Fabrice Le Fessant MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15100.59976.140208.887568@cremant.inria.fr> Date: Sat, 12 May 2001 09:46:16 +0200 (CEST) To: Patrick M Doane Cc: caml-list@inria.fr Subject: Re: [Caml-list] CDK binary release References: <15099.54264.965247.51247@cremant.inria.fr> X-Mailer: VM 6.75 under Emacs 20.7.1 Reply-To: fabrice.le_fessant@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk The main problem with CDK documentation is that the CDK is not intented to develop the libraries it contains. This development is done by libraries'authors, while the CDK job is to gather these libraries (by adding common Makefiles and configuration scripts, with minimal modifications to the files, in particular the interfaces to allow easy/fast updates). Thus, we cannot force the authors to use ocamlweb, LaTeX or anything else, nor modify the documentation they gave. We can of course advise them to use one particular tool, but we have to be able to support other documentation formats. Since most mli files have only simple text documentation, cdk_doc is enough for that. The best approach would probably be to have several documentation tools, and for each library, to specify in the Makefile the corresponding tool (ocamlweb + hevea, cdk_doc, ...). However, we need then to be sure that all these tools have some common output formats (man, html, info, ps, ...) and formatting conventions (title colors, etc) I'm not sure that HeVea should be distributed in the CDK. It is not really a development tool. However, OcamlWeb could be in the CDK since it is used for literate programming. - Fabrice ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr