# syntax=docker/dockerfile:1 FROM python:3.10 WORKDIR /app/ RUN apt-get update RUN apt-get install -y python3-sphinx node.js RUN apt-get install -y npm RUN npm install -g http-server RUN pip install pydata-sphinx-theme COPY docs/Makefile Makefile COPY setup.py setup.py COPY docs/source source COPY ptvp35 ptvp35 RUN make html WORKDIR /app/build/html/ CMD [ "http-server", "-p", "80" ]