1
0
mirror of https://github.com/thp/pyotherside.git synced 2025-01-17 23:22:53 +08:00

docs: Install sphinx-rtx-theme

This commit is contained in:
Thomas Perl 2023-12-02 20:08:12 +01:00
parent 24b630a580
commit ab97cb5eac
3 changed files with 5 additions and 1 deletions

View File

@ -3,5 +3,8 @@ build:
os: ubuntu-22.04
tools:
python: "3.12"
python:
install:
- requirements: docs/requirements.txt
sphinx:
configuration: docs/conf.py

View File

@ -25,7 +25,7 @@ import sys, os
# Add any Sphinx extension module names here, as strings. They can be extensions
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
extensions = []
extensions = ['sphinx_rtd_theme']
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']

1
docs/requirements.txt Normal file
View File

@ -0,0 +1 @@
sphinx-rtd-theme==1.3.0