WIP: fix docs

.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
 

doc/requirements.txt

+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