root
14 lines
661 B
Bash
Executable File
14 lines
661 B
Bash
Executable File
#!/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"
|