Re: Compressed info files

[Akim Demaille]

> Le 5 mars 2015 à 10:38, Gavin Smith <address@hidden> a écrit :
> 
> On 5 March 2015 at 08:42, Akim Demaille <address@hidden> wrote:
>> I kinda discovered that info can read compressed files.
>> This is excellent news, but it seems poorly documented.
>> I can find information about install-info being able to
>> read compressed files and compressed dir files, but that's
>> it!
> 
> There is mention of it under the -f option at
> http://www.gnu.org/software/texinfo/manual/info-stnd/info-stnd.html#Invoking-Info.
> In the version of the documentation in the current development
> repository, this description is moved up to the top because it is not
> just done when using the -f option, so it will be more visible.

You are right.  Bummer, the documentation of the info reader
is not the one one gets with "info info"!  While I understand
why it is done this way, I still do think this is a significant
problem...

> Contrary to expectations, install-info doesn't copy the file to the
> installation directory, it only updates the dir file. As long as this
> is the case, I think compression should be done separately, probably
> in Makefile rules.

Doh. Of course.  I forgot :)