diff --git a/.docker/Dockerfile b/.docker/Dockerfile index c4ee1d60a7095b8cec0dc7edf64d22afe7b91d40..59d72477418be9f5218d3ab89892d99b73aa0569 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -5,9 +5,9 @@ RUN apt-get update \ make \ octave \ python3-pip \ - python3-sphinx + python3-sphinx \ + wget RUN pip3 install breathe miss_hit sphinx-rtd-theme recommonmark -RUN curl --output generate_doc_unreleased.zip \ - https://github.com/gnu-octave/generate_doc/archive/refs/heads/main.zip +RUN wget --output generate_doc_unreleased.zip https://github.com/gnu-octave/generate_doc/archive/refs/heads/main.zip RUN octave --eval "pkg install generate_doc_unreleased.zip"