From 2998bfc368dfe6f6692ac4bc15b0f8ce919f8261 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 5 Jun 2024 18:20:59 +0200
Subject: Adding debian version 7.3.7-1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 debian/dh-sphinxdoc/dh_sphinxdoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/dh-sphinxdoc/dh_sphinxdoc')

diff --git a/debian/dh-sphinxdoc/dh_sphinxdoc b/debian/dh-sphinxdoc/dh_sphinxdoc
index ccd4a5a..fb74e9c 100755
--- a/debian/dh-sphinxdoc/dh_sphinxdoc
+++ b/debian/dh-sphinxdoc/dh_sphinxdoc
@@ -290,7 +290,7 @@ sub sanity_check($$)
         }
     }
     defined $documentation_options or error("DOCUMENTATION_OPTIONS not found");
-    my $loads_searchindex = $search =~ m{<script(?: type="text/javascript")? src="[^"]*searchindex.js\s?"(?: defer)?>};
+    my $loads_searchindex = $search =~ m{<script(?: type="text/javascript")? src="[^"]*searchindex.js\s?"(?: defer(?:="defer"))?>};
     unless ($loads_searchindex)
     {
         # old style, used before Sphinx 2.0
-- 
cgit v1.2.3