From 6dca760be777390232f406347bb9e31f8f9edcf9 Mon Sep 17 00:00:00 2001
From: Stefan Peters <Stefan.Peters@gbv.de>
Date: Fri, 28 Apr 2023 13:42:47 +0200
Subject: [PATCH] Manual: Remove a IE shim that was loaded from Cloudflare

---
 docs/templates/user-manual.html | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docs/templates/user-manual.html b/docs/templates/user-manual.html
index 72b1b82e0..b0690da6a 100644
--- a/docs/templates/user-manual.html
+++ b/docs/templates/user-manual.html
@@ -37,9 +37,6 @@
 $if(math)$
   $math$
 $endif$
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 $for(header-includes)$
   $header-includes$
 $endfor$