Use @finalout in gendocs.sh?

[Simon Josefsson]

After being annoyed by the black boxes in my manuals, I searched the
texinfo manual and was delighted to find the section about overfull
hboxes.  It mentions @finalout.  While generating output directed for
developers instead of users, by default, feels a bit weird, at least
it seems useful to use @finalout in gendocs.sh so that at least
published manuals look better.  To do that, it would be useful to have
a parameter like:

makeinfo -e @finalout foo.texi

to evaluate texinfo statements on the command line, like @finalout.
Perhaps @finalout is so different from other texinfo commands that it
should have its own --final-out instead.

Or the inverse, make @finalout the default, and add -g / --debug to
generate the black boxes, for developers.

What do you think?

Thanks,
Simon