[RFA] gdb.texinfo: Use GNU/Linux instead of Linux

[Andrew Cagney]

> On Sep 21, 11:35am, Eli Zaretskii wrote:
> 
> 
>> I think in gdb.texinfo the convention is to use @sc{gnu} throughout.
> 
> 
> Okay.
> 
> 
>> As for GNU/Linux, I'd suggest first to see whether @sc{gnu}/Linux
>> looks fine in print, and then decide.  Kevin, could you please TeX the
>> manual and see whether the result is plausible?
> 
> 
> Prior to this, I'd generated html and could see no difference.  This
> time I generated a pdf file.  ``@sc{gnu}'' generates slightly smaller
> characters and looks quite nice (IMO).
> 
> 
>> Otherwise, okay.  Thanks.
> 
> 
> Committed.

Kevin, can you please pull this into the 5.3 branch?

Andrew