From: Oto Šťáva <oto.stava@nic.cz>
Date: Wed, 20 Mar 2024 13:43:29 +0000 (+0100)
Subject: doc/user: add missing sphinxcontrib.jquery
X-Git-Tag: v6.0.7~9^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=92a42430d8da03ac1d60ffbb816ca910317fce30;p=thirdparty%2Fknot-resolver.git

doc/user: add missing sphinxcontrib.jquery

Accidentally omitted in `doc/user`, present in `doc/dev`.
---

diff --git a/doc/user/conf.py b/doc/user/conf.py
index fb2bd287f..ddd3e5edf 100644
--- a/doc/user/conf.py
+++ b/doc/user/conf.py
@@ -24,6 +24,10 @@ extensions = [
     'sphinx_tabs.tabs',
 ]
 
+theme_major = sphinx_rtd_theme.__version__.partition('.')[0]
+if theme_major == '2':
+    extensions.append('sphinxcontrib.jquery')
+
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 exclude_patterns = ['_build']