This repository has been archived on 2026-07-30. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
docker/scripts/generate-public-docs.sh
T

17 lines
436 B
Bash
Executable File

#!/usr/bin/env bash
set -euo pipefail
ROOT="$(git rev-parse --show-toplevel 2>/dev/null || pwd)"
cd "$ROOT"
mkdir -p docs/generated docs/diagrams docs/public
scripts/docs/generate-all.sh
if [ ! -d docs/public ] || [ -z "$(find docs/public -mindepth 1 -print -quit)" ]; then
echo "ERROR: docs/public is missing or empty after generation." >&2
exit 1
fi
echo "Public docs generated in docs/public. Review changes before commit."