diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2025-06-03 14:40:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-03 14:40:39 +0200 |
| commit | f31c39cc2eadd0ab7f29f34becba1348ae9f8721 (patch) | |
| tree | 59793605c66c41f2ae8d91e837178aac6d0650a7 /docs/source/conf.py | |
| parent | 0bd9f5d7fa3c86a9d29f432fe8adfb163bf14cf1 (diff) | |
| parent | 213d116050410a9e83166c8f88965183396f32d8 (diff) | |
Merge pull request #342 from tarikgraba/master
Settings to build pdf documentation
Diffstat (limited to 'docs/source/conf.py')
| -rw-r--r-- | docs/source/conf.py | 6 |
1 files changed, 5 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' |