From cbe766ea2d7d9b16ed114e25c559192d2fffc509 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 3 Mar 2025 07:37:41 +0000
Subject: [PATCH] Disable minification to avoid weird escaping issues

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 build/builder.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/builder.sh b/build/builder.sh
index ee66cdc..43c624e 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 --minify --config=config.toml,config-urls.toml
+hugo $hugoFlags --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"