With Gnuplot 5.4.4, 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.
Log in to post a comment.
