Enable minification in Hugo

This commit is contained in:
Danila Fedorin 2025-02-23 23:10:38 +00:00
parent c5f6c4a8fa
commit 4febf06c5c

View File

@ -32,7 +32,7 @@ cp -r $webFiles/* static/
cp -r $agdaHtml/* code/ cp -r $agdaHtml/* code/
# Static folder changed, re-run Hugo # 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 # Do post-processing of HTML files: render math, link up Agda code, subset fonts and icons
gendir="public/$publicPath" gendir="public/$publicPath"