>> 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