Changeset 25991359 for general/prog/python-modules/sphinx_rtd_theme.xml

Timestamp:

05/24/2023 10:18:22 PM (16 months ago)

Author:

Bruce Dubbs <bdubbs@…>

Branches:

12.0, 12.1, 12.2, gimp3, kea, ken/TL2024, ken/tuningfonts, lazarus, lxqt, plabs/newcss, python3.11, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/for-12.3, xry111/llvm18, xry111/spidermonkey128, xry111/xf86-video-removal

Children:

35128ba9

Parents:

9f2364e

Message:

Update python sphinx modules and dependencies.
Update to sphinx_rtd_theme-1.2.1.
Update to python sphinx dependencies to

sphinxcontrib-jquery-4.1
sphinxcontrib-applehelp-1.0.4
sphinxcontrib-htmlhelp-2.0.1.

File:

• general/prog/python-modules/sphinx_rtd_theme.xml (modified) (2 diffs)

general/prog/python-modules/sphinx_rtd_theme.xml

@@ -9 +9 @@
   <!ENTITY sphinx_rtd_theme-md5sum        "&sphinx_rtd_theme-md5sum;">
   <!ENTITY sphinx_rtd_theme-size          "2.7 MB">
-  <!ENTITY sphinx_rtd_theme-buildsize     "14 MB (add 25 MB for tests)">
+  <!ENTITY sphinx_rtd_theme-buildsize     "35 MB (with tests)">
   <!ENTITY sphinx_rtd_theme-time          "less than 0.1 SBU (with tests)">
 ]>
@@ -90 +90 @@
      but otherwise we fall into dependency hell -->
       <para>
-        Fix a wrong version for a dependency list:
+        Fix wrong versions for dependencies:
       </para>
 
-<screen><userinput>sed -e s/0.19/0.20/ \
+<screen><userinput>sed -e s/0.19/0.21/ \
+    -e '/sphinx.*7/s/7/8/' \
     -i setup.cfg</userinput></screen>