Re: make-stds.texi minor update

[Ralf Wildenhues]

Hi Karl,

* Karl Berry wrote on Fri, Apr 07, 2006 at 08:46:29PM CEST:
>     one overlong line in the DVI output of standards.texi?  
> 
> Hmm.  I'd rather not hardwire a line break, in principle.

Yes, I can see the reason behind this.

>     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. :)

Oh well, I don't care really.  Just did that because when I used `@/' in
CVS Libtool a few months ago, I got a bug report about it later.  And I
figured maybe you'd want to avoid that.  :)

Feel free to use @/ instead.

Cheers,
Ralf