diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-08-31 00:59:22 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-08-31 08:08:31 +0200 |
commit | 1c00b4812edb439f47938d074b9c4f73b2cc0ad3 (patch) | |
tree | 816fbcbb65594081b54c27c082c5dcc66f467889 /doc/requirements.txt | |
parent | e3672365cf95b98135c2b65446995dcd85b92d5e (diff) | |
download | ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.gz ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.bz2 ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.zip |
ci: use buildthedocs/btd to build and publish the docs to GHP
Diffstat (limited to 'doc/requirements.txt')
-rw-r--r-- | doc/requirements.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index 7e7fe40ed..e632e6afd 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,7 +1,6 @@ #-r ../requirements.txt -sphinx>=1.5.2 +sphinx>=3.0.0 recommonmark -sphinx_rtd_theme python-dateutil # sphinxcontrib-textstyle>=0.2.1 # sphinxcontrib-spelling>=2.2.0 |