22 lines
589 B
Bash
Executable File
22 lines
589 B
Bash
Executable File
#!/bin/bash
|
|
# Re-render all Graphviz diagrams to SVG.
|
|
# Run this after each phase when .dot files are updated.
|
|
# Usage: ./docs.sh
|
|
set -euo pipefail
|
|
|
|
DOCS_DIR="$(cd "$(dirname "$0")/../docs" && pwd)"
|
|
|
|
if ! command -v dot &>/dev/null; then
|
|
echo "graphviz not found — install with: sudo apt install graphviz" >&2
|
|
exit 1
|
|
fi
|
|
|
|
for f in "$DOCS_DIR"/*.dot; do
|
|
svg="${f%.dot}.svg"
|
|
echo "==> $(basename "$f") → $(basename "$svg")"
|
|
dot -Tsvg "$f" -o "$svg"
|
|
done
|
|
|
|
echo "==> done. Serving at http://localhost:9099 (ctrl-c to stop)"
|
|
cd "$DOCS_DIR" && python3 -m http.server 9099
|