Re: make-stds.texi minor update

[Karl Berry]

    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