From fa47b75c9113348aeb847ebfd08229c071c8f5c9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Thu, 19 Sep 2024 06:57:24 +0200
Subject: Merging debian version 7.4.7-2.

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 30d9b88..5881372 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(?:="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