diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/serve-docs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/serve-docs.sh b/scripts/serve-docs.sh index 8d06d65e96..f1dfbd5e18 100755 --- a/scripts/serve-docs.sh +++ b/scripts/serve-docs.sh @@ -16,8 +16,8 @@ set -eu readonly WORKING_DIR=$(mktemp -d) -HOST=localhost -PORT=12345 +: ${HOST:=localhost} +: ${PORT:=12345} TARGET= SERVING_PREFIX= |