From c7acfd46b87e6e90093547a3e0c9069f0857b908 Mon Sep 17 00:00:00 2001
From: "Danny Rotscher (Work)" <rotscher@edr11036.dip.tu-dresden.de>
Date: Wed, 22 Feb 2023 12:05:26 +0100
Subject: [PATCH] Change mermaid version to 9.4.0

---
 doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh b/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
index 90074e098..d01622e4b 100755
--- a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
+++ b/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh
@@ -6,4 +6,4 @@ scriptpath=${BASH_SOURCE[0]}
 basedir=`dirname "$scriptpath"`
 basedir=`dirname "$basedir"`
 cd $basedir/tud_theme/javascripts
-wget https://unpkg.com/mermaid/dist/mermaid.esm.min.mjs
+wget https://unpkg.com/mermaid@9.4.0/dist/mermaid.min.js
-- 
GitLab