aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTG <tarik.graba@telecom-paris.fr>2025-01-27 16:21:55 +0100
committersenadm <senadm@local>2025-06-03 14:30:45 +0200
commit8893d1365571f03f7e7e7f75970fa20a798ab8ca (patch)
tree45d0189bfc19a46d307fd3c6047a061ebf8e6ec5
parent0bd9f5d7fa3c86a9d29f432fe8adfb163bf14cf1 (diff)
Use rsvgconverter sphinx extension to convert svg to pdf
-rw-r--r--docs/source/conf.py4
-rw-r--r--docs/source/requirements.txt1
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