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.
