#!/usr/bin/env bash
# Render docs/manual.md to the PDF served at /manual.pdf, without touching the
# running app: the renderer writes into the volume the web container reads, and
# the new file is picked up on the next request (no restart).
#
# Takes a couple of minutes; run it in the background after a deploy:
#   scripts/render-manual.sh > /tmp/render-manual.log 2>&1 &
set -euo pipefail
cd "$(dirname "$0")/.."
echo "$(date -u +%Y-%m-%dT%H:%M:%SZ) rendering the manual..."
docker compose --profile manual build --quiet manual
docker compose --profile manual run --rm manual
echo "$(date -u +%Y-%m-%dT%H:%M:%SZ) done: /manual.pdf now serves the new render"