trying to fix broken github pages

docs/serve.sh

@@ -1,24 +0,0 @@
-#!/bin/sh
-set -e
-cd "$(dirname "$0")"
-
-if [ ! -s lab/fonts ]; then
-  ln -s ../../build/dist lab/fonts
-fi
-
-if (which caddy >/dev/null); then
-  caddy_args=(\
-    -host localhost \
-    "bind localhost" \
-    "mime .woff2 font/woff2" \
-    "mime .woff application/font-woff" \
-  )
-  caddy "${caddy_args[@]}"
-elif (which servedir >/dev/null); then
-  servedir
-else
-  echo "Can not find 'caddy' nor 'servedir' in PATH." >&2
-  echo "Install caddy from brew, apt or https://caddyserver.com/download"
-  echo "or install servedir with 'npm install -g secure-servedir'"
-  exit 1
-fi