diff options
| author | Max Kellermann <max@musicpd.org> | 2018-10-30 22:08:31 +0100 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2018-10-30 22:08:31 +0100 |
| commit | 09e2202cd6872f94ba23186924f51e87e7f942ad (patch) | |
| tree | 5b49e8939570e4084dea5c1e0195e23cb1019245 /doc/conf.py | |
| parent | fe7e1ae8aa880641d239a94d0d0df57e2dc39a7e (diff) | |
doc/user.rst: remove redundant tags list, link to protocol documentation
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 f524c4538..5eb1f14e4 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -10,7 +10,7 @@ # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. -extensions = [] +extensions = ['sphinx.ext.intersphinx'] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] |