diff -r 1cb715257130 -r ef361938dfa1 docs/conf.py
--- a/docs/conf.py	Thu Sep 21 10:45:06 2017 +0200
+++ b/docs/conf.py	Thu Sep 21 10:45:27 2017 +0200
@@ -1,6 +1,6 @@
 # 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.graphviz"]
 # autoclass_content = 'both'
 # Add any paths that contain templates here, relative to this directory.
 # templates_path = []
@@ -122,3 +122,5 @@
 
 # Output file base name for HTML help builder.
 # htmlhelp_basename = ''
+
+graphviz_output_format = "svg"