mirror of
https://github.com/roc-lang/roc.git
synced 2024-09-20 07:17:50 +03:00
17 lines
696 B
Bash
Executable File
17 lines
696 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# https://vaneyckt.io/posts/safer_bash_scripts_with_set_euxo_pipefail/
|
|
set -euxo pipefail
|
|
|
|
# download fonts just-in-time so we don't have to bloat the repo with them.
|
|
# TODO convert .woff fonts to .woff2
|
|
# wget -O SourceCodePro.woff https://fonts.gstatic.com/s/sourcecodepro/v22/HI_diYsKILxRpg3hIP6sJ7fM7PqPMcMnZFqUwX28DMyQtMdrSlcZZJmOpwVS.woff
|
|
# wget -O lato.woff2 https://fonts.gstatic.com/s/lato/v23/S6uyw4BMUTPHjx4wXiWtFCc.woff2
|
|
|
|
# cd into the directory where this script lives.
|
|
# This allows us to run this script from the root project directory,
|
|
# which is what Netlify wants to do.
|
|
|
|
cp -f public/tutorial/index.html build/tutorial/index.html
|
|
cp -f public/*.css build/
|