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
Marius Vikhammer
440fab3d6e
docs: add google analytics tracking
2021-04-06 11:56:11 +08:00
Fu Hanxi
0146f258d7
style: format python files with isort and double-quote-string-fixer
2021-01-26 10:49:01 +08:00
Marius Vikhammer
63b76a9d90
doc: custom list filter directive
...
Custom directive that allows for creation of lists where the content can be filtered based on target.
Closes IDF-1385
2020-02-20 18:08:05 +08:00
Marius Vikhammer
e06a57f34f
doc: Changed toc filter reg.ex to be non-greedy
...
Stops the parsing from crashing when the content contains a ":", e.g. in web-links
2020-02-07 16:37:43 +11: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
