From 1a994b5df38a501023bd8f6c145d3e19a33a2452 Mon Sep 17 00:00:00 2001
From: "Danny Rotscher (Work)" <rotscher@edr11036.dip.tu-dresden.de>
Date: Wed, 22 Feb 2023 06:52:37 +0100
Subject: [PATCH] Changed mermaid JavaScript library name

---
 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 9986ad6f4..a12e0fc06 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.min.js
+wget https://unpkg.com/mermaid/dist/mermaid.esm.min.js
-- 
GitLab