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 NAA27260; Mon, 14 May 2001 13:26:42 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 NAA27256; Mon, 14 May 2001 13:26:41 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4EBQd522234; Mon, 14 May 2001 13:26:39 +0200 (MET DST) Received: from lambda.u-strasbg.fr (mail@lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id NAA04082; Mon, 14 May 2001 13:26:53 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.22 #1 (Debian)) id 14zGWt-0000uX-00; Mon, 14 May 2001 13:28:47 +0200 Date: Mon, 14 May 2001 13:28:47 +0200 To: Xavier Leroy Cc: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Documentation tools Message-ID: <20010514132847.A3478@lambda.u-strasbg.fr> References: <20010514101144.A22215@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.17i In-Reply-To: <20010514101144.A22215@pauillac.inria.fr>; from Xavier.Leroy@inria.fr on Mon, May 14, 2001 at 10:11:44AM +0200 From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, May 14, 2001 at 10:11:44AM +0200, Xavier Leroy wrote: > Suggestions and pointers to existing documentation systems are most > welcome. Xavier, ... Why do you feel the sgml or some XML based thing is not adequate. As i see it, but i have never really used it myself, just seen how it is used, it seems that it is much easier, when using sgml, or the XML variant of it, to generate either html stuff, latex files, info pahes, and do on. Why limit yourself if with a bit more effort you can generate files in all of the above formats ? While, altough HTML is easy to write (well most people are already familiar with it) there isn't much you can do with it once you have it. I know of only one tool who generate latex from html, and it's not a free tool, ... Juts my opinion, ... Friendly, Sven Luther ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr