#!/usr/bin/env bash set -e echo "🔨 Building the MkDocs site…" mkdocs build PORT="${PORT:-8000}" echo "🚀 Serving site on 0.0.0.0:${PORT}" exec python -m http.server "$PORT" --directory site