summary refs log tree commit diff
path: root/gnu/packages/patches/agda-use-sphinx-5.patch
blob: 19fcf252f9147529386c933fb6ef6693f2d1d99f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
From 99ed1b59ef73fd35053810f6a09e034e1513caee Mon Sep 17 00:00:00 2001
Message-ID: <99ed1b59ef73fd35053810f6a09e034e1513caee.1698243851.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
Date: Wed, 25 Oct 2023 16:23:32 +0200
Subject: [PATCH] Revert "Docs: bump Sphinx to 6.0.0"

From: Josselin Poiret <dev@jpoiret.xyz>

This reverts commit 40dd42eaa7c04e134fa38cb4f958414a76df27a7.
---
 doc/user-manual/conf.py          | 5 ++---
 doc/user-manual/requirements.txt | 4 ++--
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/doc/user-manual/conf.py b/doc/user-manual/conf.py
index 127f6582dc..d737ede19b 100644
--- a/doc/user-manual/conf.py
+++ b/doc/user-manual/conf.py
@@ -35,7 +35,7 @@ release = version
 #
 # If your change the version here also change it in the
 # `requirements.txt` file [Issue #1936].
-needs_sphinx = '6.0.0'
+needs_sphinx = '5.0.0'
 
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
@@ -43,8 +43,7 @@ needs_sphinx = '6.0.0'
 extensions = [
     'sphinx.ext.imgmath',
     'sphinx.ext.ifconfig',
-    'sphinx.ext.imgconverter',
-    'sphinxcontrib.jquery'
+    'sphinx.ext.imgconverter'
 ]
 
 # Add any paths that contain templates here, relative to this directory.
diff --git a/doc/user-manual/requirements.txt b/doc/user-manual/requirements.txt
index 384b1466b4..656e6c9ac0 100644
--- a/doc/user-manual/requirements.txt
+++ b/doc/user-manual/requirements.txt
@@ -1,2 +1,2 @@
-Sphinx           >= 7.2.5
-sphinx_rtd_theme >= 1.3.0
+Sphinx           >= 5.0.0, != 5.2.0.post0
+sphinx_rtd_theme >= 1.0

base-commit: 08b79a684d712ba3dc4b26e5052ec49f49f5ff6c
-- 
2.41.0