diff --git a/doc/build.scm b/doc/build.scm index 81bb94670a1..e171b539e6e 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -278,6 +278,7 @@ its
 blocks (as produced by 'makeinfo --html')."
             (define entity->string
               (match-lambda
                 ("rArr"   "⇒")
+                ("rarr"   "→")
                 ("hellip" "…")
                 ("rsquo"  "’")
                 (e (pk 'unknown-entity e) (primitive-exit 2))))