diff options
Diffstat (limited to 'examples/sphinx/release/conf.py')
| -rw-r--r-- | examples/sphinx/release/conf.py | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/examples/sphinx/release/conf.py b/examples/sphinx/release/conf.py index 7976b6d51..e13e05171 100644 --- a/examples/sphinx/release/conf.py +++ b/examples/sphinx/release/conf.py @@ -17,9 +17,13 @@ html_static_path = ["_static"] html_show_sphinx = False extensions = [ - 'sphinx.ext.intersphinx','sphinxcontrib.blockdiag', - 'sphinxcontrib.seqdiag', 'sphinxcontrib.swaggerdoc', 'sphinx.ext.graphviz', - 'sphinxcontrib.spelling'] + '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. @@ -46,3 +50,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+/' +] |