diff --git a/.docker/Dockerfile b/.docker/Dockerfile index bce3b7738b31cd3bfd6a123dd91cdf19226c5c0f..dd76d6004743969a8bc0080ba23a1d2da397cb85 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -6,6 +6,7 @@ RUN apt-get update \ octave \ python3-pip \ python3-sphinx \ + unzip \ wget RUN pip3 install breathe miss_hit sphinx-rtd-theme recommonmark