initial

build-all-docs-pdf.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+# Render docs/**/*.md to sibling .pdf, then diagram/special PDF builders.
+set -euo pipefail
+ROOT_DIR="$(cd "$(dirname "$0")/.." && pwd)"
+PDF_BUILD="$ROOT_DIR/docs/_pdf_build"
+python3 "$PDF_BUILD/build_all_docs_pdf.py"
+for extra in \
+  build_git_flow_pdf.py \
+  build_graphvis_pivot_pdf.py \
+  build_egress_review_pdf.py; do
+  if [[ -f "$PDF_BUILD/$extra" ]]; then
+    python3 "$PDF_BUILD/$extra" || echo "WARN: $extra failed (optional)" >&2
+  fi
+done
+echo "Done: PDFs under $ROOT_DIR/docs/ (recursive + diagram builders)"