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 /Makefile.in | |
| 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 'Makefile.in')
0 files changed, 0 insertions, 0 deletions