summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/sphinx.scm32
1 files changed, 32 insertions, 0 deletions
diff --git a/gnu/packages/sphinx.scm b/gnu/packages/sphinx.scm
index 520b1bf05c1..49f5c3d4ff1 100644
--- a/gnu/packages/sphinx.scm
+++ b/gnu/packages/sphinx.scm
@@ -905,6 +905,38 @@ system. The extension allows generation of API documentation by
905introspection of @code{zope.interface} instances in code.") 905introspection of @code{zope.interface} instances in code.")
906 (license license:repoze))) 906 (license license:repoze)))
907 907
908(define-public python-sphinx-reredirects
909 (package
910 (name "python-sphinx-reredirects")
911 (version "1.1.0")
912 (source
913 (origin
914 (method url-fetch) ;FIXME use git-fetch instead?
915 (uri (pypi-uri "sphinx_reredirects" version))
916 (sha256
917 (base32 "0acbf7v04wml24f5hrkcqnk7nqzbgq67sa3kh8zv855b6m9ik6zv"))))
918 (build-system pyproject-build-system)
919 (arguments
920 (list
921 ;; Test requires network access
922 #:test-flags #~(list "-k" "not test_linkcheck")))
923 (native-inputs (list python-pytest python-sphinx python-flit))
924 (propagated-inputs (list python-linkify-it-py
925 python-myst-parser
926 python-sphinx-copybutton
927 python-sphinx-design
928 python-sphinx-sitemap
929 python-sphinx-copybutton
930 python-sphinxcontrib-mermaid
931 python-sphinxext-opengraph))
932 (home-page "https://documatt.com/sphinx-reredirects/")
933 (synopsis "Extension for sphinx to handle redirects")
934 (description
935 "The extension for Sphinx documentation projects that handle redirects for
936moved pages. It generates HTML pages with meta refresh redirects to the new
937page location to prevent 404 errors if you rename or move your documents.")
938 (license license:expat)))
939
908(define-public python-sphinx-prompt 940(define-public python-sphinx-prompt
909 (package 941 (package
910 (name "python-sphinx-prompt") 942 (name "python-sphinx-prompt")