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

<input type='hidden' name='showmsg' value='1'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'>refs</a><a class='active' href='/guix/log/gnu/packages/enlightenment.scm?showmsg=1'>log</a><a href='/guix/tree/gnu/packages/enlightenment.scm?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'>tree</a><a href='/guix/commit/gnu/packages/enlightenment.scm?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'>commit</a><a href='/guix/diff/gnu/packages/enlightenment.scm?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/enlightenment.scm'>
<input type='hidden' name='id' value='8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'/><input type='hidden' name='showmsg' value='1'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a&amp;showmsg=1'>root</a>/<a href='/guix/log/gnu?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a&amp;showmsg=1'>gnu</a>/<a href='/guix/log/gnu/packages?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a&amp;showmsg=1'>packages</a>/<a href='/guix/log/gnu/packages/enlightenment.scm?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a&amp;showmsg=1'>enlightenment.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/enlightenment.scm?id=8d2a5a36af4c36dfa08c7ee75d7a06ebb7a8225a'>Collapse</a>)</th><th class='left'>Author</th></tr>