Darian Leung
50fe1eea15
doc: Add support for redirects to external URL
...
This commit adds support for redirections to external URLs in the html_redirects.py extension
2021-04-27 17:01:24 +08:00
Krzysztof Budzynski
632b5c40e6
Revert "Merge branch 'doc/use_sphinx_reredirect_extension' into 'master'"
...
This reverts merge request !13293
2021-04-23 13:44:40 +08:00
Darian Leung
2be772af1c
Sphinx uses reredirect extension
...
This commit removes the custom HTML rediiect extension and uses
the sphinx-reredirect extension instead. The sphinx-reredirect
extension allows for redirection to external links as well as
support for wildcards.
2021-04-23 00:02:30 +08:00
Fu Hanxi
0146f258d7
style: format python files with isort and double-quote-string-fixer
2021-01-26 10:49:01 +08:00
Angus Gratton
a148d8e6ba
docs: Refactor extensions into packages, update the add-ons-reference docs page
...
Includes converting some of the remaining standalone scripts into Sphinx extensions.
Make flake8 clean
2020-02-07 16:37:43 +11:00
