From 4febf06c5cb1df0e13ed9b1c8b2d67d4f10d7ece Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 23 Feb 2025 23:10:38 +0000
Subject: [PATCH] Enable minification in Hugo

---
 build/builder.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"