diff --git a/.gitlab-ci-docs.yml b/.gitlab-ci-docs.yml
index 42ec1a19cd02b33b9dde462258e6a5ca30ea764f..d6762920fe84931a567e304098b1f7613dba53eb 100644
--- a/.gitlab-ci-docs.yml
+++ b/.gitlab-ci-docs.yml
@@ -10,6 +10,7 @@ docs:
     #  -- we won't see any future improvements of the mkdocs and mkdocs-material packages
     - pip install mkdocs
     - pip install mkdocs-material
+    - pip install mkdocs-minify-plugin
 
     # This is my own extension that we use to insert the $VERSION env variable into the documentation
     - pip install pymdown-env