diff --git a/contrib/build-docs b/contrib/build-docs index 28e568b9e..525cca474 100755 --- a/contrib/build-docs +++ b/contrib/build-docs @@ -1,6 +1,5 @@ #!/usr/bin/env bash set -eo pipefail -set -x readonly ROOT_DIR="$(cd "$(dirname "$(dirname "${BASH_SOURCE[0]}")")" && pwd)"