diff options
| author | TG <tarik.graba@telecom-paris.fr> | 2025-01-27 16:21:55 +0100 |
|---|---|---|
| committer | senadm <senadm@local> | 2025-06-03 14:30:45 +0200 |
| commit | 8893d1365571f03f7e7e7f75970fa20a798ab8ca (patch) | |
| tree | 45d0189bfc19a46d307fd3c6047a061ebf8e6ec5 /docs/source/conf.py | |
| parent | 0bd9f5d7fa3c86a9d29f432fe8adfb163bf14cf1 (diff) | |
Use rsvgconverter sphinx extension to convert svg to pdf
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 = [] |