From da7d62b50396c8b6d67c1ba800a196e83e2ec469 Mon Sep 17 00:00:00 2001
From: Florian Weimer <fweimer@redhat.com>
Date: Thu, 16 Jul 2020 10:17:31 +0200
Subject: [PATCH] manual: Use Unicode instead HTML entities for characters (bug
 19737)

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.

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 &middot;
-@set infty &infin;
-@set pie &pi;
+@set mult @U{00B7}
+@set infty @U{221E}
+@set pie @U{03C0}
 @end ifhtml
 @iftex
 @set mult @cdot