guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

01/07: doc: Handle right arrows in 'syntax-highlighted-html'.


From: guix-commits
Subject: 01/07: doc: Handle right arrows in 'syntax-highlighted-html'.
Date: Thu, 28 Nov 2019 07:31:29 -0500 (EST)

civodul pushed a commit to branch master
in repository guix.

commit 295c6a7e834d1bede4cc5c9211b594bfbfa5ff35
Author: Ludovic Courtès <address@hidden>
Date:   Wed Nov 27 15:42:18 2019 +0100

    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 81bb946..e171b53 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))))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]