Update dollar.rkt

2020-07-23 22:24:38 +01:00 · 2020-07-23 22:24:38 +01:00 · 6094bbc572
commit 6094bbc572
parent a2467d1682
1 changed files with 5 additions and 3 deletions
--- a/dollar.rkt
+++ b/dollar.rkt
@ -35,9 +35,11 @@
 (define-syntax (if-version≥6.12 stx)
  (syntax-case stx ()
    [(_ . rest)
-     (if (version>= (version) "6.11.0.900")
-         #'(begin . rest)
-         #'(begin))]))
+     (if (and (not (regexp-match #px"^6\.11\.0\.900$" (version)))
+              (or (regexp-match #px"^6(\\.([0123456789]|10|11)(\\..*|)|)$" (version))
+                  (regexp-match #px"^[123245]\\..*$" (version))))
+         #'(begin)
+         #'(begin . rest))]))
 ;; KaTeX does not work well with the HTML 4.01 Transitional loose DTD,
 ;; so we define a style modifier which replaces the prefix for HTML rendering.
 (define (with-html5 doc-style)