Re: install-info will not install into non-existent dir file

[Gavin Smith]

On Sat, Nov 07, 2020 at 09:05:26AM +0200, Eli Zaretskii wrote:
> I think we should be able to find dir.gz, but not dir.info.gz, because
> the latter could be a compressed file dir.info which documents a
> program called 'dir'.  And the same with localdir.
> 
> At the time, I think there were many Info files without a .info
> extension, mainly to cater to filesystems that had problems with
> multiple extensions and long file names, thus the comment above.  But
> nowadays, it's very hard to find Info files without a .info extension,
> and thus dir and localdir stand out, and we can handle them specially
> without failing to support them in compressed form.

Another reason not to support dir.info is that

install-info FILE.info dir

doesn't find dir.info, although it does find dir.gz.  To use dir.info you
have to run

install-info FILE.info dir.info

instead.