diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 59d72477418be9f5218d3ab89892d99b73aa0569..bce3b7738b31cd3bfd6a123dd91cdf19226c5c0f 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -9,5 +9,6 @@ RUN apt-get update \ wget RUN pip3 install breathe miss_hit sphinx-rtd-theme recommonmark -RUN wget --output generate_doc_unreleased.zip https://github.com/gnu-octave/generate_doc/archive/refs/heads/main.zip +RUN wget --output-document 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"