[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Use @finalout in gendocs.sh?
From: |
Simon Josefsson |
Subject: |
Use @finalout in gendocs.sh? |
Date: |
Thu, 11 Dec 2003 22:18:45 +0100 |
User-agent: |
Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3.50 (gnu/linux) |
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
- Use @finalout in gendocs.sh?,
Simon Josefsson <=