Subset less aggressively

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
2025-02-24 01:05:16 +00:00
parent 4febf06c5c
commit 7814ee7ae2
2 changed files with 5 additions and 5 deletions

View File

@@ -41,7 +41,7 @@ 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
echo $htmlfiles | xargs python3 chatgpt-subset-one-go.py $gendir/fonts
# Output result
mkdir $out