diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-04-22 13:54:30 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-22 18:53:03 +0200 |
| commit | 4a6b6dbda139e8265570cd2a51b6c371abef4912 (patch) | |
| tree | 3d825476a23862fa6c1c530b20b4577e17244fd4 /doc | |
| parent | da51617af9e574ec595b128c03e5cb842ec3f0c2 (diff) | |
| download | ghdl-4a6b6dbda139e8265570cd2a51b6c371abef4912.tar.gz ghdl-4a6b6dbda139e8265570cd2a51b6c371abef4912.tar.bz2 ghdl-4a6b6dbda139e8265570cd2a51b6c371abef4912.zip | |
doc: pin sphinx to v3.3.1 to prevent search bug
Search is broken with >=3.3.1 (VUnit/vunit#713).
We use the same template in VUnit and here, which is based on sphinx_rtd_theme.
Moreover, sphinx_rtd_theme is broken with docutils>=0.16 (see readthedocs/sphinx_rtd_theme#1115).
So, we are temporarily pinning those (see buildthedocs/docker@f7bda0e and
buildthedocs/docker@1fd9555) until sphinx_rtd_theme is either fixed or updated (they are expecting
to deprecate the current theme and use a new one based on bootstrap, see readthedocs/sphinx_rtd_theme#1086).
Then, we will either rebase or update buildthedocs/sphinx.theme for picking the fixes.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index cb4081ec3..ec32e6c07 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,6 +1,6 @@ -r ../pyGHDL/requirements.txt -sphinx>=3.4.2 +sphinx==3.3.1 #recommonmark>=0.7.1 python-dateutil>=2.8.1 |