#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "$0")" && pwd)"
python3 "${ROOT}/_pdf_build/build_all_docs_pdf.py"