[PATCH] manual: Use Unicode instead HTML entities for characters (bug 19737)

[Carlos O'Donell]

On 7/15/20 3:04 AM, Florian Weimer via Libc-alpha wrote:
> Texinfo no longer treats arguments to @set in @ifhtml blocks as
> literal HTML, so the & in the entity references was encoded as
> @amp; in HTML.  Using the equivalent Unicode characters avoids
> this issue.

OK for 2.32.

Looks good in pdf and html. Thanks.

Reviewed-by: Carlos O'Donell <carlos@redhat.com>
Tested-by: Carlos O'Donell <carlos@redhat.com>

> ---
>  manual/math.texi | 6 +++---
>  1 file changed, 3 insertions(+), 3 deletions(-)
> 
> diff --git a/manual/math.texi b/manual/math.texi
> index dcff7b7f41..376306cfc5 100644
> --- a/manual/math.texi
> +++ b/manual/math.texi
> @@ -1,9 +1,9 @@
>  @c We need some definitions here.
>  @ifclear mult
>  @ifhtml
> -@set mult ·
> -@set infty ∞
> -@set pie π
> +@set mult @U{00B7}
> +@set infty @U{221E}
> +@set pie @U{03C0}
>  @end ifhtml
>  @iftex
>  @set mult @cdot
> 


-- 
Cheers,
Carlos.