3 COPY makeSphinx.sh /makeSphinx.sh
14 && chmod 755 /makeSphinx.sh
16 RUN adduser -D coreboot
20 ENV VIRTUAL_ENV="/home/coreboot/python3"
21 ENV PATH=$VIRTUAL_ENV/bin:$PATH:/home/coreboot/.local/bin
24 python3 -m venv $VIRTUAL_ENV && \
25 echo "source ${VIRTUAL_ENV}/bin/activate" >> /home/coreboot/.bashrc && \
26 pip3 install --upgrade --no-cache-dir pip && \
27 pip3 install --no-cache-dir \
31 sphinx_autobuild===2024.2.4 \
32 sphinx_rtd_theme===2.0.0
34 VOLUME /data-in /data-out
36 # For Sphinx-autobuild
37 # Port 8000 - HTTP server
38 # Port 35729 - websockets connection to allow automatic browser reloads after each build
41 ENTRYPOINT ["/bin/bash", "/makeSphinx.sh"]