[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Compressed info files

From: Akim Demaille
Subject: Re: Compressed info files
Date: Thu, 5 Mar 2015 10:44:07 +0100

> 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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]