diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-10-27 19:58:54 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-11-14 13:30:48 +0100 |
| commit | a52175730607e4319bce06ead92510743ec2604c (patch) | |
| tree | db8528b45fcf492a3f3fec56b9b8a959ab39a053 /gnu/packages/patches/agda-use-sphinx-5.patch | |
| parent | 5cb257424322912dd54d11748ee1457c57298a66 (diff) | |
gnu: agda: Update to 2.6.4.
* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
Diffstat (limited to 'gnu/packages/patches/agda-use-sphinx-5.patch')
| -rw-r--r-- | gnu/packages/patches/agda-use-sphinx-5.patch | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/gnu/packages/patches/agda-use-sphinx-5.patch b/gnu/packages/patches/agda-use-sphinx-5.patch new file mode 100644 index 0000000000..19fcf252f9 --- /dev/null +++ b/gnu/packages/patches/agda-use-sphinx-5.patch @@ -0,0 +1,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 + |