Odd #758

Merged
mohr merged 9 commits from development-doc-deployment into development 2023-10-25 12:39:37 +02:00
Showing only changes of commit 8c20417af9 - Show all commits

View File

@ -9,7 +9,7 @@ RUN apt-get --yes install gcc g++ cmake make lcov git valgrind nano iputils-ping
# This should also install Sphinx
COPY docs/requirements.txt .
RUN python3 -m pip install -r docs/requirements.txt
RUN python3 -m pip install -r requirements.txt
RUN python3 -m pip install breathe
RUN git clone https://github.com/catchorg/Catch2.git && \