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