diff options
Diffstat (limited to 'docs')
-rwxr-xr-x | docs/_scripts/serve.sh | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index 203156643..8fea76ccb 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -2,23 +2,27 @@ set -e cd "$(dirname "$0")/.." -if [ ! -d lab/fonts ]; then +if [ ! -s lab/fonts ]; then + rm -rf lab/fonts ln -fs ../../build/fonts lab/fonts fi +rm -rf _site + # jekyll is a little dumb and resolves the lab/fonts symlink and copies # all font files to _site when started. Bad jekyll. # Let's work around that. -# -# Step 1/2: remove any previous symlink, or jekyll crashes -rm -f _site/lab/fonts -# -# Step 2/2: create symlink again after some delay. Ugh. sh <<_EOF_ & N=3 while [ \$N -gt 0 ]; do sleep 1 - rm -f _site/lab/fonts + ln -fs ../../../build/fonts _site/lab/fonts + sleep 5 + if [ -d _site/lab/fonts ]; then + rm -rf _site/lab/fonts + else + rm -f _site/lab/fonts + fi ln -fs ../../../build/fonts _site/lab/fonts let N=N-1 done |