diff options
Diffstat (limited to 'docs/source')
| -rw-r--r-- | docs/source/conf.py | 4 | ||||
| -rw-r--r-- | docs/source/requirements.txt | 1 |
2 files changed, 4 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 = [] diff --git a/docs/source/requirements.txt b/docs/source/requirements.txt index f2db166..0137505 100644 --- a/docs/source/requirements.txt +++ b/docs/source/requirements.txt @@ -1,2 +1,3 @@ sphinx sphinx_rtd_theme +sphinxcontrib-svg2pdfconverter |