This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [RFA] gdb.texinfo: Use GNU/Linux instead of Linux
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