diff --git a/script/dev.containerfile b/script/dev.containerfile index 8696029..8a51256 100644 --- a/script/dev.containerfile +++ b/script/dev.containerfile @@ -14,7 +14,7 @@ ARG GID=1000 # With root, install system-wide packages provided by Ubuntu. RUN apt-get update --yes && \ -apt-get install --yes pipx gcc gdb && \ +apt-get install --yes pipx gcc gdb graphviz doxygen && \ rm --force --recursive /var/lib/apt/lists/* # Create a normal user.