Bug#1021629: texinfo: with HTML output, @minus{} is converted to a hyphen instead of a real minus character

[Vincent Lefevre <vincent@vinc17.net>]

Hi,

On 2022-10-12 10:13:51 +0200, Hilmar Preuße wrote:
> Could you provide a minimal example and steps how to detect the issue?

Create a file test.texi with just: @minus{}

Then run "makeinfo --html --no-split test.texi". Because of this
minimal example, it outputs a warning about the missing title,
but it can be ignored.

The generated test.html file contains

<p>-
</p>

where "-" is U+002D HYPHEN-MINUS.

-- 
Vincent Lefèvre <vincent@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)