11 lines
468 B
Bash
Executable File
11 lines
468 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Render docs/manual.md to docs/generated/manual.pdf, for a locally run server
|
|
# (go run ./cmd/server serves that path at /manual.pdf by default). Needs Docker.
|
|
# The compose deployment uses scripts/render-manual.sh instead.
|
|
set -euo pipefail
|
|
cd "$(dirname "$0")/.."
|
|
mkdir -p docs/generated
|
|
docker build --quiet --target manual -t halcyon-manual .
|
|
docker run --rm -v "$PWD/docs/generated:/out" halcyon-manual
|
|
echo "wrote docs/generated/manual.pdf"
|