www.delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp-workers/2002/03/12/14:20:06

X-Authentication-Warning: delorie.com: mailnull set sender to djgpp-workers-bounces using -f
Date: Tue, 12 Mar 2002 21:14:55 +0200
From: "Eli Zaretskii" <eliz AT is DOT elta DOT co DOT il>
Sender: halo1 AT zahav DOT net DOT il
To: djgpp-workers AT delorie DOT com
Message-Id: <3405-Tue12Mar2002211454+0200-eliz@is.elta.co.il>
X-Mailer: emacs 21.2.50 (via feedmail 8 I) and Blat ver 1.8.9
In-reply-to: <3C8DD9C0.A5CC348E@yahoo.com> (message from CBFalconer on Tue, 12
Mar 2002 05:34:40 -0500)
Subject: Re: Simpler restructured dir.txi
References: <Pine DOT SUN DOT 3 DOT 91 DOT 1020312081302 DOT 24908I AT is> <3C8DD9C0 DOT A5CC348E AT yahoo DOT com>
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com

> Date: Tue, 12 Mar 2002 05:34:40 -0500
> From: CBFalconer <cbfalconer AT yahoo DOT com>
> 
> I wasn't thinking of the items in the menu, but the items in the
> sub-menus

There are no submenus in DIR, so I'm still in the dark.

> File \djgpp\info\gcc.i30:
> File \djgpp\info\gcc.i6:
> File \djgpp\info\gdb.i2:
> File \djgpp\info\bash.inf:
> File \djgpp\info\djgppfaq.inf:
> File \djgpp\info\gawk.inf:
> File \djgpp\info\gmp.inf:
> 
> In fact, maybe I should alias apropos to that anyhow :-)  info
> would still be grinding.

The above output is almost useless to Joe Random User, since Joe
cannot read `gcc.i30' directly, at least not as an Info document.

By contrast, the output of "info --apropos" immediately puts you at
the right place, and you can also search for subjects whose words are
separated by newlines, or even don't appear in the text at all.

However, Texinfo should be extended to build a database of index
entries, and then "info --apropos" can be made lightning fast.  It's
somewhere on my infinite TODO to make that happen...

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019