diff options
Diffstat (limited to 'docs/source/conf.py')
| -rw-r--r-- | docs/source/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index 6036d28..565663d 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -13,7 +13,9 @@ author = 'YosysHQ' # -- General configuration --------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration -extensions = ['sphinx_rtd_theme'] +extensions = ['sphinx_rtd_theme', + 'sphinxcontrib.rsvgconverter' + ] templates_path = ['_templates'] exclude_patterns = [] |