summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-11-27 15:42:18 +0100
committerLudovic Courtès <ludo@gnu.org>2019-11-28 13:30:53 +0100
commit295c6a7e834d1bede4cc5c9211b594bfbfa5ff35 (patch)
tree821542a0221c06abb90da107611cdeb1b951d377
parente8c6644af1cea3223ec72dc3c734f686d3ecba61 (diff)
downloadpatches-295c6a7e834d1bede4cc5c9211b594bfbfa5ff35.tar
patches-295c6a7e834d1bede4cc5c9211b594bfbfa5ff35.tar.gz
doc: Handle right arrows in 'syntax-highlighted-html'.
* doc/build.scm (syntax-highlighted-html)[build](entity->string): Add "rarr".
-rw-r--r--doc/build.scm1
1 files changed, 1 insertions, 0 deletions
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))))