bug#71368: info-display-manual command does not honor Info-additional-directory-list

[Eli Zaretskii]

> Cc: 71368@debbugs.gnu.org
> Date: Wed, 05 Jun 2024 07:25:53 +0200
> From:  Eshel Yaron via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
> 
> Hello Charles,
> 
> Charles Choi <kickingvegas@gmail.com> writes:
> 
> > **** Expected Result
> > Manuals in Info-additional-directory-list should be displayed in the 
> > completion list.
> >
> > **** Actual Result
> > The manuals in Info-additional-directory-list are not displayed in the 
> > completion list.
> 
> Thanks, does the following change yield the expected result?

Eshel, please feel free to install this, I think it is almost
trivially correct.

Thanks.