diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index f54fd995b..13caa5513 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -17,8 +17,13 @@ html_static_path = ["_static"] html_show_sphinx = False extensions = [ - 'sphinx.ext.intersphinx','sphinxcontrib.blockdiag', - 'sphinxcontrib.seqdiag', 'sphinxcontrib.swaggerdoc', 'sphinx.ext.graphviz'] + 'sphinx.ext.intersphinx', + 'sphinx.ext.graphviz', + 'sphinxcontrib.blockdiag', + 'sphinxcontrib.seqdiag', + 'sphinxcontrib.swaggerdoc', + 'sphinxcontrib.plantuml' +] # # Map to 'latest' if this file is used in 'latest' (master) 'doc' branch. @@ -75,3 +80,7 @@ html_last_updated_fmt = '%d-%b-%y %H:%M' def setup(app): app.add_css_file("css/ribbon.css") + +linkcheck_ignore = [ + r'http://localhost:\d+/' +] |