unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
blob 19fcf252f9147529386c933fb6ef6693f2d1d99f 1705 bytes (raw)
name: packages/patches/agda-use-sphinx-5.patch 	 # note: path name is non-authoritative(*)

 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


debug log:

solving 19fcf252f9147529386c933fb6ef6693f2d1d99f ...
found 19fcf252f9147529386c933fb6ef6693f2d1d99f in https://git.savannah.gnu.org/cgit/guix.git

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).