diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 17:35:44 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | df245f9d30e4822d500b519cf7a2eb066f4dfebc (patch) | |
tree | 592690a38a0d198d48977632a9ed5b58f9ace676 /doc/conf.py | |
parent | 28d9ddf0e2aff8fe6937949f54285cae9ee478a7 (diff) | |
download | ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.tar.gz ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.tar.bz2 ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.zip |
Fixed headlines (1).
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index a4eee999f..05d81f264 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -357,7 +357,7 @@ intersphinx_mapping = { # Sphinx.Ext.ExtLinks # ============================================================================== extlinks = { - 'ghdlsharp': ('https://github.com/tgingold/ghdl/issues/%s', '#'), + 'ghdlsharp': ('https://github.com/tgingold/ghdl/issues/%s', '#'), 'ghdlissue': ('https://github.com/tgingold/ghdl/issues/%s', 'issue #'), 'ghdlpull': ('https://github.com/tgingold/ghdl/pull/%s', 'pull request #'), 'ghdlsrc': ('https://github.com/tgingold/ghdl/blob/master/src/%s', None), |