From 6094bbc572867f09d56d9da06ade05d11f7f25df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?=
 <jahvascriptmaniac+github@gmail.com>
Date: Thu, 23 Jul 2020 22:24:38 +0100
Subject: [PATCH] Update dollar.rkt

---
 dollar.rkt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/dollar.rkt b/dollar.rkt
index be6613375..c78280159 100644
--- 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)