Re: [bug #38168] support --all

[Karl Berry]

    I've fixed this.  Please try the recent svn trunk.

It looks very good, thanks.

    > *manpages*
    of course the output is not at all informative.  

I think it's fine.  It's the buffer name we'll use, after all.
And it does give a useful hint to the users.
I don't see a reason to output it more than once, though.

Also, after doing some more experiments I find myself unclear as to when
*manpages* shows up.  For example, if I run "info top", I get the man
page (as expected, since it is not in the Info system), but info -aw top
shows nothing.
$ info -aw top
$

Furthermore, back on info -aw automake, it doesn't show *manpages* at
all, just the Info hits, even though automake.1 certainly exists in the
usual place(s) and is found with man:
$ info -aw automake
/usr/local/gnu/share/info/automake.info
/usr/local/share/info/automake.info
/usr/share/info/automake.info.gz
/usr/local/info/automake.info
/usr/local/gnu/info/automake.info
$

Finally, info -aw as shows both *manpages* (multiple times) and one info
hit, like this:
$ info -aw as
*manpages*
*manpages*
/usr/share/info/as.info.gz
*manpages*
*manpages*
$

Help?  I think the ideal would be to replicate the Info searching
algorithm as much as possible; thus the output for info -aw as would be:
/usr/share/info/as.info.gz
*manpages*
etc.

Anyway, here is the debug output for that last, in case it matters.

$ info -aw --debug=-1 as
info: INFOPATH compacted: 
/tmp/ktx/share/info:.:/usr/local/gnu/share/info:/usr/local/share/info:/usr/share/info:/usr/local/info:/usr/info:/usr/local/lib/info:/usr/lib/info:/usr/local/gnu/info:/usr/local/gnu/lib/info:/usr/gnu/info:/usr/gnu/lib/info:/opt/gnu/info:/usr/share/lib/info:/usr/local/share/lib/info:/usr/gnu/lib/emacs/info:/usr/local/gnu/lib/emacs/info:/usr/local/lib/emacs/info:/usr/local/emacs/info
info: looking for file dir in /tmp/ktx/share/info
info: looking for file dir in .
info: looking for file dir in /usr/local/gnu/share/info
info: found /usr/local/gnu/share/info/dir
info: looking for file dir in /usr/local/share/info
info: found /usr/local/share/info/dir
info: looking for file dir in /usr/share/info
info: found /usr/share/info/dir
info: looking for file dir in /usr/local/info
info: found /usr/local/info/dir
info: looking for file dir in /usr/info
info: looking for file dir in /usr/local/lib/info
info: looking for file dir in /usr/lib/info
info: looking for file dir in /usr/local/gnu/info
info: found /usr/local/gnu/info/dir
info: looking for file dir in /usr/local/gnu/lib/info
info: looking for file dir in /usr/gnu/info
info: looking for file dir in /usr/gnu/lib/info
info: looking for file dir in /opt/gnu/info
info: looking for file dir in /usr/share/lib/info
info: looking for file dir in /usr/local/share/lib/info
info: looking for file dir in /usr/gnu/lib/emacs/info
info: looking for file dir in /usr/local/gnu/lib/emacs/info
info: looking for file dir in /usr/local/lib/emacs/info
info: looking for file dir in /usr/local/emacs/info
info: INFOPATH cleared
info: INFOPATH=/usr/local/gnu/share/info
info: looking for file "/usr/local/gnu/share/info/dir"
info: looking for file dir in /usr/local/gnu/share/info
info: found /usr/local/gnu/share/info/dir
info: looking for file "as"
info: looking for file as in /usr/local/gnu/share/info
info: looking for file "as"
info: looking for file as in /usr/local/gnu/share/info
*manpages*
info: INFOPATH cleared
info: INFOPATH=/usr/local/share/info
info: looking for file "/usr/local/share/info/dir"
info: looking for file dir in /usr/local/share/info
info: found /usr/local/share/info/dir
info: looking for file "as"
info: looking for file as in /usr/local/share/info
info: looking for file "as"
info: looking for file as in /usr/local/share/info
*manpages*
info: INFOPATH cleared
info: INFOPATH=/usr/share/info
info: looking for file "/usr/share/info/dir"
info: looking for file dir in /usr/share/info
info: found /usr/share/info/dir
info: looking for file "as"
info: looking for file as in /usr/share/info
info: found /usr/share/info/as.info.gz
/usr/share/info/as.info.gz
info: INFOPATH cleared
info: INFOPATH=/usr/local/info
info: looking for file "/usr/local/info/dir"
info: looking for file dir in /usr/local/info
info: found /usr/local/info/dir
info: looking for file "as"
info: looking for file as in /usr/local/info
info: looking for file "as"
info: looking for file as in /usr/local/info
*manpages*
info: INFOPATH cleared
info: INFOPATH=/usr/local/gnu/info
info: looking for file "/usr/local/gnu/info/dir"
info: looking for file dir in /usr/local/gnu/info
info: found /usr/local/gnu/info/dir
info: looking for file "as"
info: looking for file as in /usr/local/gnu/info
info: looking for file "as"
info: looking for file as in /usr/local/gnu/info
*manpages*