Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character

[Patrice Dumas]

On Wed, Oct 12, 2022 at 01:46:28PM +0200, Vincent Lefevre wrote:
> BTW, I thought that --enable-encoding was the default. But after,
> testing, it isn't. The makeinfo(1) man page should be clarified.
> Instead of
> 
>        --disable-encoding
>               do not output accented and special characters in Info output
>               based on @documentencoding.
> 
>        --enable-encoding
>               override --disable-encoding (default).

The default and effect depends on the output format.  In the upcoming
release, this is now:

      --disable-encoding      do not output accented and special characters
                                in Info output based on document encoding.
      --enable-encoding       based on document encoding, output accented
                                characters in XML-based output as well as
                                special characters in HTML instead of
                                entities.

Does this seems clear to you?  Do you see a way to clarify, if not?

-- 
Pat