diff options
-rw-r--r-- | doc/python_api/requirements.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/python_api/requirements.txt b/doc/python_api/requirements.txt index 7040fd190f3..d38449f10a1 100644 --- a/doc/python_api/requirements.txt +++ b/doc/python_api/requirements.txt @@ -1,2 +1,12 @@ Sphinx==3.5.3 + +# Sphinx dependencies that are important +Jinja2==2.11.3 +docutils==0.16 + +# Only needed for building translations. +sphinx-intl==2.0.1 + +# Only needed to match the theme used for the official documentation. +# Without this theme, the default theme will be used. sphinx_rtd_theme==0.5.2 |