3 COPY makeSphinx.sh /makeSphinx.sh
5 RUN apk add --no-cache python3 py3-pip make bash git openjdk8-jre ttf-dejavu fontconfig \
6 && chmod 755 /makeSphinx.sh
7 RUN adduser -D coreboot
10 ENV VIRTUAL_ENV="/home/coreboot/python3"
11 ENV PATH=$VIRTUAL_ENV/bin:$PATH:/home/coreboot/.local/bin
12 RUN python3 -m venv $VIRTUAL_ENV && \
13 echo "source ${VIRTUAL_ENV}/bin/activate" >> /home/coreboot/.bashrc && \
14 pip3 install --upgrade --no-cache-dir pip && \
15 pip3 install --no-cache-dir \
19 sphinxcontrib-ditaa===1.0.2 \
20 sphinx_autobuild===2024.2.4 \
21 sphinx_rtd_theme===2.0.0
23 ADD https://github.com/stathissideris/ditaa/releases/download/v0.11.0/ditaa-0.11.0-standalone.jar \
24 /usr/lib/ditaa-0.11.0-standalone.jar
26 ADD ditaa.sh /usr/bin/ditaa
28 VOLUME /data-in /data-out
30 # For Sphinx-autobuild
31 # Port 8000 - HTTP server
32 # Port 35729 - websockets connection to allow automatic browser reloads after each build
35 ENTRYPOINT ["/bin/bash", "/makeSphinx.sh"]