diff options
author | Shohei Ueda <30958501+peaceiris@users.noreply.github.com> | 2022-04-24 06:27:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-24 06:27:37 +0300 |
commit | 82294bafe04b3f5953549266c372a9d05238b566 (patch) | |
tree | a241d69915401f08a0f57ecc75b9007ae0282577 /exampleSite | |
parent | 4c3e9756b1b6c17f256bfda1510ee019871036c4 (diff) |
build: remove fetch_fonts.sh (#514)
Diffstat (limited to 'exampleSite')
-rw-r--r-- | exampleSite/scripts/fetch_fonts.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/exampleSite/scripts/fetch_fonts.sh b/exampleSite/scripts/fetch_fonts.sh deleted file mode 100644 index 4cc5fcce..00000000 --- a/exampleSite/scripts/fetch_fonts.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -# fail on unset variables and command errors -set -eu -o pipefail # -x: is for debugging - -rm -rf ./static/output/chtml/fonts/woff-v2 2>/dev/null || true -# cp -r ./node_modules/mathjax/es5/output/chtml/fonts/woff-v2 ./static/output/chtml/fonts/woff-v2 |