diff options
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 516275077..a4eee999f 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -348,7 +348,8 @@ texinfo_documents = [ # Sphinx.Ext.InterSphinx # ============================================================================== intersphinx_mapping = { - 'python': ('https://docs.python.org/3.5/', None) + 'python': ('https://docs.python.org/3.5/', None), + 'poc': ('http://poc-library.readthedocs.io/en/release', None), # 'ghdl': ('http://ghdl.readthedocs.io/en/latest', None) } |