Hi Karl et al., in GCC-land we are considering using `makeinfo --no-split` for our documentation to reduce the number of generated files.
The sizes of our manuals seem relatively modest concerning current hardware, especially given that there are five of them: % wc -c *.texi | tail -1 2321080 total % wc -c *.info* | tail -1 2761640 total Is there any advice you could give us? Any reason _not_ to use --no-split? (One of our developers actually suggested you might consider making --no-split the default for makeinfo itself.) Gerald -- Gerald "Jerry" [EMAIL PROTECTED] http://www.pfeifer.com/gerald/ _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
