diff options
-rwxr-xr-x | docs/serve.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/serve.sh b/docs/serve.sh index c9cb7b6ef..fd8b94c63 100755 --- a/docs/serve.sh +++ b/docs/serve.sh @@ -2,6 +2,10 @@ set -e cd "$(dirname "$0")" +if [ ! -s docs/lab/fonts ]; then + ln -s ../../build/dist docs/lab/fonts +fi + if (which caddy >/dev/null); then caddy_args=(\ -host localhost \ |