doc: Update sphinx config, add user documentation

[mpd-sima.git] / doc / source / conf.py

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 6f553a02fb1abb7c6669cabc7276e9cd234c6eaa..384585515da4f5c61fa82a1505aaf8c8f0d29c53 100644 (file)
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -35,6 +35,7 @@ from sima.info import __version__, __author__
 extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.viewcode',
+    'sphinx.ext.intersphinx',
 ]
 
 # Add any paths that contain templates here, relative to this directory.
@@ -291,3 +292,5 @@ texinfo_documents = [
 
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #texinfo_no_detailmenu = False
+
+intersphinx_mapping = {'https://docs.python.org/': None}