Re: info finds wrong manpage

[Werner LEMBERG]

>> If I say `man fc-list`, I get the new manpage version.  However, if
>> I say `info fc-list`, I get the old manpage version, i.e., the
>> manpage from `/usr/share/man` gets displayed.  This smells fishy.
> 
> Can you check the output from "man -a fc-list", as info calls man
> with the -a argument, meaning to find all man pages in the search
> path?

`man -a fc-list` first displays the new manpage, then, after pressing
'q', it offers to display the old one.

> Also, inside Info, could you try scrolling the page to see if both
> man pages are displayed?

Indeed, it displays both!  I've completely missed that since I simply
used the END key to jump to the bottom for checking the manpage
version.  Sorry for the noise.

HOWEVER: That man pages are displayed in succession without any
structural aid is subobtimal.  The attached image shows the transition
from the older to the newer man page – this is hardly noticeable while
scrolling fast.  Would it be possible that `info` constructs a menu,
something like

```
* Menu

* foo(1) (from '/usr/local/share/man/man1')
* foo(5) (from '/usr/local/share/man/man5')
* foo(1) (from '/usr/share/man/man1')
* foo(5) (from '/usr/share/man/man5')
```

and positioning the cursor at the first hit so that the user only has
to press ENTER a second time to get the default?  BTW, this menu could
be even extended for manpages from other locales (in case this is easy
to get, since 'man -a' doesn't deliver them), or at least from the
locale 'C' in addition to the current one.


    Werner