gnu: Add python-sphinxext-rediraffe.

* gnu/packages/sphinx.scm (python-sphinxext-rediraffe): New variable.

Change-Id: I772993b7bc3a43befc459cc6a9c6d1c90932d341

1 files changed, 31 insertions, 0 deletions

diff --git a/gnu/packages/sphinx.scm b/gnu/packages/sphinx.scm
index c826617a9f..b22a288234 100644
--- a/gnu/packages/sphinx.scm
+++ b/gnu/packages/sphinx.scm
@@ -1071,6 +1071,37 @@ translate and to apply translation to Sphinx generated document.")
      "This package provides a Sphinx Extension to generate OG metadata.")
     (license license:bsd-3)))
 
+(define-public python-sphinxext-rediraffe
+  (package
+    (name "python-sphinxext-rediraffe")
+    (version "0.2.7")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "sphinxext-rediraffe" version))
+       (sha256
+        (base32 "0pbjkwmqc8q08bsk66panvpya831ycjq1ysdagyrznpzwpxcn7b5"))))
+    (build-system pyproject-build-system)
+    (arguments
+     (list
+      #:phases
+      #~(modify-phases %standard-phases
+          (add-after 'unpack 'patch-version
+            (lambda _
+              (substitute* "setup.py"
+                (("version = \"main\"")
+                 (string-append "version = \"" #$version "\""))))))))
+    (propagated-inputs (list python-sphinx))
+    (native-inputs (list python-setuptools python-wheel))
+    (home-page "https://github.com/wpilibsuite/sphinxext-rediraffe")
+    (synopsis
+     "Sphinx Extension that redirects non-existent pages to working pages")
+    (description
+     "This sphinx extension redirects non-existent pages to working
+pages. Rediraffe can also check that deleted/renamed files in your git repo
+are redirected.")
+    (license license:expat)))
+
 (define-public python-sphinx-autobuild
   (package
     (name "python-sphinx-autobuild")