Re: [PATCH] gdb docs: do not format the ++ in C++ in man page

[Eli Zaretskii <eliz@gnu.org>]

> From: Simon Marchi <simark@simark.ca>
> Date: Mon, 16 Sep 2019 21:19:12 -0400
> 
> On 2019-09-16 5:47 p.m., Carl Bordum Hansen wrote:
> > This change means that the html version of the man page does not stylize
> > the "++" in the third paragraph.
> > (https://sourceware.org/gdb/current/onlinedocs/gdb/gdb-man.html). The
> > tradeoff is, in my opinion, worth it as the man page reads better, since
> > it is now formatted properly. Before this change, it read as:
> > "... programs written in C, C@t{++}, ...".
> > ---
> > 
> > Hello, this is my first patch to a GNU project ever and also the first time I
> > use an email-based git workflow, so please excuse my mistakes :-)
> 
> Hi Carl,
> 
> Thanks for your patches.  I see you've used git-send-email, that's excellent.
> 
> Like I said on IRC, I think the best way to fix this would be to fix the texi2pod.pl
> script to handle @t instead.

I agree, but I'm also confused about the problem.  If I go to that
page, I don't see @t there, and looking at the page source reveals
that C@t{++} has been correctly converted to C<tt>++</tt>.  So I'm not
sure why Carl sees something different.

What am I missing here?