killing trailing white space
Sure.
one overlong line in the DVI output of standards.texi?
Hmm. I'd rather not hardwire a line break, in principle.
The patch avoids `@/' for the benefit of older texinfo
versions (which are still wide-spread).
But does that matter? The formatted versions are available from
www.gnu.org, and anyone making a distribution should have the latest
anyway. So I don't really see a reason to avoid @/? (Also, @/ is
almost 3 years old, so it's not exactly, um, breaking news. :)
Thanks,
k
