manual: Use Unicode instead HTML entities for characters (bug 19737)
authorFlorian Weimer <fweimer@redhat.com>
Thu, 16 Jul 2020 08:17:31 +0000 (10:17 +0200)
committerFlorian Weimer <fweimer@redhat.com>
Thu, 16 Jul 2020 08:17:31 +0000 (10:17 +0200)
commitda7d62b50396c8b6d67c1ba800a196e83e2ec469
treeedf35e2a1757b98cd9ca0b8cec8e26765c0e5744
parent17400c4bcd57d84add1da3aa93248ef2efdb0ccb
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