From 295c6a7e834d1bede4cc5c9211b594bfbfa5ff35 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 27 Nov 2019 15:42:18 +0100
Subject: doc: Handle right arrows in 'syntax-highlighted-html'.

* doc/build.scm (syntax-highlighted-html)[build](entity->string): Add "rarr".
---
 doc/build.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/build.scm b/doc/build.scm
index 81bb94670a..e171b539e6 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -278,6 +278,7 @@ its <pre class=\"lisp\"> blocks (as produced by 'makeinfo --html')."
             (define entity->string
               (match-lambda
                 ("rArr"   "⇒")
+                ("rarr"   "→")
                 ("hellip" "…")
                 ("rsquo"  "’")
                 (e (pk 'unknown-entity e) (primitive-exit 2))))
-- 
cgit v1.2.3