> Le 5 mars 2015 à 10:38, Gavin Smith <[email protected]> a écrit : > > On 5 March 2015 at 08:42, Akim Demaille <[email protected]> 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 :)
