doc: Handle right arrows in 'syntax-highlighted-html'.
authorLudovic Courtès <ludo@gnu.org>
Wed, 27 Nov 2019 14:42:18 +0000 (15:42 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 28 Nov 2019 12:30:53 +0000 (13:30 +0100)
commit295c6a7e834d1bede4cc5c9211b594bfbfa5ff35
tree821542a0221c06abb90da107611cdeb1b951d377
parente8c6644af1cea3223ec72dc3c734f686d3ecba61
doc: Handle right arrows in 'syntax-highlighted-html'.

* doc/build.scm (syntax-highlighted-html)[build](entity->string): Add "rarr".
doc/build.scm