fix

scripts/render-manual.sh

@@ -0,0 +1,13 @@
+#!/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"