3 COPY makeSphinx.sh /makeSphinx.sh
7 apk upgrade --no-cache && \
15 && chmod 755 /makeSphinx.sh
17 RUN adduser -D coreboot
19 mkdir /data-in /data-out && \
20 chown -R coreboot:coreboot /data-in /data-out
24 ENV VIRTUAL_ENV="/home/coreboot/python3"
27 python3 -m venv $VIRTUAL_ENV && \
28 source ${VIRTUAL_ENV}/bin/activate && \
29 pip3 install --upgrade --no-cache-dir pip && \
30 pip3 install --no-cache-dir \
34 sphinx_autobuild===2024.2.4 \
35 sphinx_rtd_theme===2.0.0
37 RUN git config --global --add safe.directory /data-in
39 # For Sphinx-autobuild
40 # Port 8000 - HTTP server
41 # Port 35729 - websockets connection to allow automatic browser reloads after each build
44 ENTRYPOINT [ "/makeSphinx.sh" ]