1
0
mirror of https://github.com/php/pie.git synced 2026-03-23 23:12:17 +01:00
Files
archived-pie/.github/docs/build-docs.sh
2024-10-03 20:17:18 +01:00

9 lines
176 B
Bash
Executable File

#!/usr/bin/env bash
set -xeuo pipefail
cd "$(dirname "$0")/../.."
rm -Rf docs-package
docker buildx build -f .github/docs/Dockerfile --target=output --output=docs-package .