[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use @finalout in gendocs.sh?
From: |
Karl Berry |
Subject: |
Re: Use @finalout in gendocs.sh? |
Date: |
Thu, 11 Dec 2003 16:27:34 -0500 |
Subject: Use @finalout in gendocs.sh?
Including it in gendocs.sh sounds ok, I'll make that change.
I don't think we should make @finalout the default. After all, the
overfull boxes aren't there at random, they get created because lines
are too long ... for instance, you wouldn't want to print a physical
book with any overfull boxes.
Thanks,
k