mirror of
https://github.com/php/pie.git
synced 2026-03-23 23:12:17 +01:00
9 lines
176 B
Bash
Executable File
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 .
|