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.
