blob: 8cb61ed1448b7a9ac1cb5dba6299fbdcf6cd173d [file]
#!/usr/bin/env bash
set -e
PROJECT_ROOT="$(cd "$(dirname "$0")/.." && pwd)"
cd "$PROJECT_ROOT"
echo "$PROJECT_ROOT"
DOCKERFILE="generate_docs/Dockerfile.generate_docs"
TARGET_DIR="target/docs"
mkdir -p "$TARGET_DIR"
docker buildx build \
-f "$DOCKERFILE" \
--target docs-export \
--output type=local,dest="$TARGET_DIR" \
.
echo "Build complete. Artifacts updated in $TARGET_DIR"
for filepath in target/docs/modules/*.md; do
filename=$(basename "$filepath")
dirname="${filename%.md}"
if [ -d "extensions/$dirname" ]; then
echo "Copying $filename to extensions/$dirname/"
cp "$filepath" "extensions/$dirname/"
fi
done