diff options
author | Patrick Lehmann <Paebbels@gmail.com> | 2019-02-24 20:15:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-24 20:15:50 +0100 |
commit | 35f9998cef740464bf88304a2f2b016a1ea001fe (patch) | |
tree | 26ada8cf44f6a89d157b88c1b9df4f44ee3fb293 | |
parent | e1bda63fb6765dcb064a24f982a6b854ae2a590f (diff) | |
parent | 2229a475a4ff9ddc07180f0b04140802f40de085 (diff) | |
download | ghdl-35f9998cef740464bf88304a2f2b016a1ea001fe.tar.gz ghdl-35f9998cef740464bf88304a2f2b016a1ea001fe.tar.bz2 ghdl-35f9998cef740464bf88304a2f2b016a1ea001fe.zip |
Merge pull request #767 from 1138-4EB/fix-requirements
Add `sphinx_rtd_theme` to `requirements.txt`.
-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 999052a78..42a068479 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,7 +1,7 @@ #-r ../requirements.txt sphinx>=1.5.2 recommonmark +sphinx_rtd_theme # sphinxcontrib-textstyle>=0.2.1 # sphinxcontrib-spelling>=2.2.0 # changelog>=0.3.5 - |