Re: info finds wrong manpage

[Gavin Smith]

On Thu, May 18, 2023 at 04:12:40AM +0000, Werner LEMBERG wrote:
> 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.

It's probably possible but would be quite a bit of work to implement so
is unlikely to happen.  It would depend on what information could be
got from 'man' or other commands.