diff options
author | Marius Bakke <[email protected]> | 2019-11-28 16:47:01 +0100 |
---|---|---|
committer | Marius Bakke <[email protected]> | 2019-11-28 16:47:01 +0100 |
commit | 34f849a945d25daa76d93839dcf8768c8b45b636 (patch) | |
tree | 33cde8cf068593f29366ba3702aabdb75b5fa126 /doc/build.scm | |
parent | 0897ad7fac04fc9d814e83eed46e88c7bf9740bc (diff) | |
parent | c09f598d94af81f326fe1d4cf2ab344d4e720679 (diff) |
Merge branch 'master' into staging
Diffstat (limited to 'doc/build.scm')
-rw-r--r-- | doc/build.scm | 1 |
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)))) |