esp-idf

Autor	SHA1	Wiadomość	Data
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