Add 'sphinx.ext.extlinks' to extensions.

Signed-off-by: Tim Callahan <tcal@google.com>
2024-09-20 03:10:12 +00:00 · 2020-10-15 13:15:48 -07:00 · 2020-10-15 13:15:48 -07:00 · e801208a54
commit e801208a54
parent f01ad515f2
1 changed files with 1 additions and 0 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -40,6 +40,7 @@ extensions = [
 #    'sphinx.ext.intersphinx',
    'sphinx.ext.todo',
    'sphinx.ext.githubpages',
+    'sphinx.ext.extlinks',
    'symbolator_sphinx',
    'sphinxcontrib_hdl_diagrams',
    'sphinx_tabs.tabs',