diff --git a/build/builder.sh b/build/builder.sh
index 53238a8..ddee911 100644
--- a/build/builder.sh
+++ b/build/builder.sh
@@ -32,7 +32,7 @@ cp -r $webFiles/* static/
 cp -r $agdaHtml/* code/
 
 # Static folder changed, re-run Hugo
-hugo $hugoFlags --config=config.toml,config-urls.toml
+hugo $hugoFlags --minify --config=config.toml,config-urls.toml
 
 # Do post-processing of HTML files: render math, link up Agda code, subset fonts and icons
 gendir="public/$publicPath"