#!/usr/bin/env bash
# Render every docs/*.md to docs/<stem>.pdf (reportlab; see docs/_pdf_build/md_to_pdf.py).
set -euo pipefail
ROOT_DIR="$(cd "$(dirname "$0")/.." && pwd)"
python3 "$ROOT_DIR/docs/_pdf_build/build_all_docs_pdf.py"
echo "Done: $ROOT_DIR/docs/*.pdf"
