Re: bison 2.6.2 contains stale info files

[Akim Demaille]

Le 1 sept. 2012 à 17:12, Jim Meyering a écrit :

> Akim Demaille wrote:
> ...
>> So, Karl, Jim, and others, would you accept that gendocs.sh
>> stopped generating a compressed tarball of split info files,
>> but would rather ship a compressed --no-split file?
> 
> Sounds fine to me, but gendocs.sh is Karl's baby ;-)

Hi all,

I have not received answers on this regard, yet it looks like Karl
changed gendocs to pass --no-split to makeinfo by default.  Maybe
we could also pass the info.gz file?  A tarball for a single file
sounds overkill, yet maintaining backward compatibility is certainly
nice.