diff --git a/.docker/Dockerfile b/.docker/Dockerfile index ef503a92a3ac3a9b69b575aff25fb7c447c247dc..b894c62ae3953b96aca1e3a88da795d4c8f13a69 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -13,6 +13,8 @@ RUN apt-get install -y openjdk-11-jdk-headless WORKDIR / +COPY doc/requirements.txt doc-requirements.txt +RUN pip3 install -r doc-requirements.txt COPY requirements.txt build-requirements.txt RUN pip3 install -r build-requirements.txt diff --git a/doc/requirements.txt b/doc/requirements.txt new file mode 100644 index 0000000000000000000000000000000000000000..491959d5a9d70de347b8640872f9bf190af02261 --- /dev/null +++ b/doc/requirements.txt @@ -0,0 +1,27 @@ +alabaster==0.7.12 +Babel==2.9.1 +breathe==4.30.0 +certifi==2020.12.5 +chardet==4.0.0 +docutils==0.16 +idna==2.10 +imagesize==1.2.0 +Jinja2==2.11.3 +MarkupSafe==1.1.1 +packaging==20.9 +Pygments==2.9.0 +pyparsing==2.4.7 +pytz==2021.1 +requests==2.25.1 +six==1.16.0 +snowballstemmer==2.1.0 +Sphinx==4.0.1 +sphinx-rtd-theme==0.5.2 +sphinx-sitemap==2.2.0 +sphinxcontrib-applehelp==1.0.2 +sphinxcontrib-devhelp==1.0.2 +sphinxcontrib-htmlhelp==1.0.3 +sphinxcontrib-jsmath==1.0.1 +sphinxcontrib-qthelp==1.0.3 +sphinxcontrib-serializinghtml==1.1.4 +urllib3==1.26.4