mirror of
https://github.com/espressif/esp-idf.git
synced 2024-10-05 20:47:46 -04:00
2be772af1c
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. |
||
---|---|---|
.. | ||
add-ons-reference.rst | ||
contributor-agreement.rst | ||
creating-examples.rst | ||
documenting-code.rst | ||
index.rst | ||
install-pre-commit-hook.rst | ||
style-guide.rst |