summaryrefslogtreecommitdiff
path: root/doc/build.scm
diff options
context:
space:
mode:
authorMarius Bakke <[email protected]>2019-11-28 16:47:01 +0100
committerMarius Bakke <[email protected]>2019-11-28 16:47:01 +0100
commit34f849a945d25daa76d93839dcf8768c8b45b636 (patch)
tree33cde8cf068593f29366ba3702aabdb75b5fa126 /doc/build.scm
parent0897ad7fac04fc9d814e83eed46e88c7bf9740bc (diff)
parentc09f598d94af81f326fe1d4cf2ab344d4e720679 (diff)
Merge branch 'master' into staging
Diffstat (limited to 'doc/build.scm')
-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))))