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 RAA32219; Mon, 14 May 2001 17:46:25 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA32175 for caml-list@pauillac.inria.fr; Mon, 14 May 2001 17:46:24 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA30434 for ; Mon, 14 May 2001 16:27:07 +0200 (MET DST) Received: from tequila.cs.yale.edu (tequila.cs.yale.edu [128.36.229.152]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f4EER2b08996 for ; Mon, 14 May 2001 16:27:06 +0200 (MET DST) Received: from tequila.cs.yale.edu (localhost [127.0.0.1]) by tequila.cs.yale.edu (8.11.0/8.9.3) with SMTP id f4EEQv216393 for ; Mon, 14 May 2001 10:26:57 -0400 To: caml-list@inria.fr From: "Stefan Monnier" Newsgroups: lists.caml Subject: Re: [Caml-list] Documentation tools References: <20010514101144.A22215@pauillac.inria.fr> Date: 14 May 2001 10:26:54 -0400 Message-ID: <5lvgn4j9ap.fsf@rum.cs.yale.edu> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Path: rum.cs.yale.edu NNTP-Posting-Host: rum.cs.yale.edu X-Trace: 14 May 2001 10:26:54 -0400, rum.cs.yale.edu Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "Xavier" == Xavier Leroy writes: > Man pages and Info documents are also useful in some situations, > although in the long run I believe they will disappear and be replaced > by HTML or XML documentation. After all these years, HTML still has no good support for navigating with the keyboard, for full-document searches or for indices. The best you can get is "look for the `next' button" or "reach for the search engine" or "look around for the `index' page". These are the three reasons why I find `info' much more usable. Maybe `info' will be replaced in the long run, but I have the distinct impression that this run is going to be mighty long. > Still, if the tool could output these formats without too much efforts, > that would be nice. Given the added functionality offered by Info (even though many people dislike Info browsers and even though HTML also offers its own added functionality) I think that Info (or better yet TeXinfo) output shouldn't be left in the "would be nice" category. Stefan "who also finds SGML tags overly verbose" ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr