diff options
| -rw-r--r-- | docs/source/conf.py | 6 | ||||
| -rw-r--r-- | docs/source/requirements.txt | 1 |
2 files changed, 6 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index 6036d28..1d22dbf 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 = [] @@ -31,3 +33,5 @@ html_theme_options = { "titles_only": False } html_static_path = ['_static'] + +latex_engine = 'lualatex' 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 |