diff --git a/build/builder.sh b/build/builder.sh index 43c624e..c05d29a 100644 --- a/build/builder.sh +++ b/build/builder.sh @@ -40,8 +40,11 @@ htmlfiles=$(find $gendir/ -regex "$gendir/.*\.html") chmod -R u+w $gendir echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./convert.rb --katex-js-file static/katex/katex.min.js echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./agda.rb -echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./chatgpt-subset-feather-icon.rb $gendir/feather-sprite.svg -echo $htmlfiles | xargs python3 chatgpt-subset-one-go.py $gendir/fonts + +if [ "$subset" = "true" ]; then + echo $htmlfiles | xargs ${gems}/bin/bundle exec ${ruby}/bin/ruby ./chatgpt-subset-feather-icon.rb $gendir/feather-sprite.svg + echo $htmlfiles | xargs python3 chatgpt-subset-one-go.py $gendir/fonts +fi # Output result mkdir $out diff --git a/lib.nix b/lib.nix index 8ab55b5..588716f 100644 --- a/lib.nix +++ b/lib.nix @@ -61,6 +61,7 @@ let buildInputs = [ hugo ruby stork agdaEnv pythonEnv ]; + subset = lib.boolToString settings.subset; }; in { @@ -68,6 +69,7 @@ in inherit (settings) host; ssl = settings.ssl or false; drafts = settings.drafts or false; + subset = settings.subset or true; src = blog-source; path = "."; };