doc/user.rst: remove redundant tags list, link to protocol documentation

This commit is contained in:
Max Kellermann
2018-10-30 22:08:31 +01:00
parent fe7e1ae8aa
commit 09e2202cd6
2 changed files with 3 additions and 27 deletions

@ -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']