diff --git a/tools/docker-pugs.sh b/tools/docker-pugs.sh
index 1f21bbcee2e0f1f24854b453fa91ab4e703e13d4..4a5b0d6611b2e62b6bf84adcfdd0805add61e7b0 100755
--- a/tools/docker-pugs.sh
+++ b/tools/docker-pugs.sh
@@ -44,9 +44,9 @@ RUN echo "${DOCKER_HOSTNAME}" > /etc/hostname
 RUN groupadd --gid "${USER_GID}" "${USER}"
 RUN useradd --uid "${USER_ID}" --gid "${USER_GID}" --create-home --shell /bin/bash "${USER}"
 
-RUN apt-get update && apt-get -y upgrade && apt-get -y remove g++ gcc && apt-get -y install apt-utils gnupg gnupg2 gnupg1 wget cmake git make lcov bc pkg-config sudo
+RUN apt-get update && apt-get -y upgrade && apt-get -y remove g++ gcc && apt-get -y install apt-utils gnupg gnupg2 gnupg1 wget cmake git make lcov bc pkg-config sudo doxygen
 
-RUN apt-get -y install clang-10
+RUN apt-get -y install clang-10 clang-format-10
 
 RUN apt-get -y install libparmetis-dev petsc-dev slepc-dev
 RUN apt-get clean