bug#62885: closed ([PATCH core-updates] gnu: sphinx: Update minimum docutils version to 0.20)

[GNU bug Tracking System]

Your message dated Sun, 16 Apr 2023 17:46:53 +0200
with message-id <20230416174653.0742229b@sybil.lepiller.eu>
and subject line Re: [bug#62885] [PATCH core-updates] gnu: sphinx: Update 
minimum docutils version to 0.20
has caused the debbugs.gnu.org bug report #62885,
regarding [PATCH core-updates] gnu: sphinx: Update minimum docutils version to 
0.20
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
62885: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62885
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH core-updates] gnu: sphinx: Update minimum docutils version to 0.20
>
>
>
>
> Date: 
>
> Sun, 16 Apr 2023 10:22:01 -0400
>
>
>
>
> * gnu/packages/sphinx.scm (python-sphinx-rtd-theme) [allow-newer-docutil]: new
> phase.
> ---
>  gnu/packages/sphinx.scm | 10 +++++++++-
>  1 file changed, 9 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/sphinx.scm b/gnu/packages/sphinx.scm
> index 203a4172dc..9a8ad1b2c3 100644
> --- a/gnu/packages/sphinx.scm
> +++ b/gnu/packages/sphinx.scm
> @@ -794,7 +794,15 @@ (define-public python-sphinx-rtd-theme
>          (base32
>           "0p3abj91c3l72ajj5jwblscsdf1jflrnn0djx2h5y6f2wjbx9ipf"))))
>      (build-system python-build-system)
> -    (arguments '(#:tests? #f)) ; No tests.
> +    (arguments
> +     (list
> +      #:tests? #f ; No tests.
> +      #:phases
> +      #~(modify-phases %standard-phases
> +          (add-after 'unpack 'allow-newer-docutil
> +            (lambda _
> +              (substitute* "setup.cfg"
> +                (("docutils <0.19") "docutils <0.20")))))))
>      (propagated-inputs (list python-docutils python-sphinx))
>      (home-page "https://github.com/snide/sphinx_rtd_theme/";)
>      (synopsis "ReadTheDocs.org theme for Sphinx")
> -- 
> 2.39.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#62885] [PATCH core-updates] gnu: sphinx: Update minimum docutils version to 0.20
>
>
>
>
> Date: 
>
> Sun, 16 Apr 2023 17:46:53 +0200
>
>
>
>
> Le Sun, 16 Apr 2023 11:09:46 -0400,
> Brian Cully via Guix-patches via <guix-patches@gnu.org> a écrit :
>
> > Sorry, the last patch was broken because I had it based off a WIP
> > patch updating to 1.2.0. This version works with the existing 1.0.0
> > version of rtd-themes.
> > 
>
> Thanks, pushed to core-updates as
> e438a3b3dd7f66a06ce758e3f802fd224e796e21.
>
>
> --- End Message ---