#!/bin/sh
# Serve this manual locally. Run it as:  sh serve.sh
cd "$(dirname "$0")" || exit 1
exec python3 serve_manual.py "$@"