Bug#1027303: gnuplot-doc: The Info manual contains a spurious Texinfo comment "@c <3 [...]"

[Vincent Lefevre]

Control: tags -1 fixed-upstream
Control: close -1 6.0.0+dfsg1-3

On 2022-12-30 03:19:53 +0100, Vincent Lefevre wrote:
> The generated Info manual (gnuplot.info) contains a spurious Texinfo
> comment "@c <3 - all terminal stuff is pulled from the .trm files" in
> Section 4.1 (complete list of terminals).
> 
> What happens is that the docs/doc2texi.el converter transforms the
> line starting with "<3" into a Texinfo comment by inserting "@c "
> at the beginning of the line (function d2t-get-terminals) with the
> intent that this line will not appear in the Info manual (as being
> a Texinfo comment). However, the input has not been converted to
> the Texinfo format yet, so that function d2t-braces-atsigns
> (consisting in the first step of the conversion to Texinfo), which
> is called later, assumes that "@c" is real text and adds a "@" in
> front of it (to escape the "@" since it is regarded as real text).
> As a consequence, one gets a line
> 
>   @@c <3 -- all terminal stuff is pulled from the .trm files
> 
> in the generated Texinfo file gnuplot.texi, and this line will be
> rendered as
> 
>   @c <3 -- all terminal stuff is pulled from the .trm files
> 
> in the Info manual.
> 
> I'm attaching a patch that makes doc2texi.el remove this <3 line
> instead of attempting to comment it out.

It got fixed upstream on 2023-01-16, and I've checked that
6.0.0+dfsg1-3 no longer has this issue.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)