diff --git a/Dockerfile b/Dockerfile index e4b0667..a13c703 100644 --- a/Dockerfile +++ b/Dockerfile @@ -26,6 +26,8 @@ RUN \ apt-get install -y zip && \ apt-get install -y vim.tiny && \ apt-get install -y p7zip-full && \ + apt-get install -y procps && \ + apt-get install -y doxygen && \ rm -rf /var/lib/apt/lists/* && \ cd /tmp && \ wget $RELEASETOOL_URL && \