diff --git a/doc/build_antora.sh b/doc/build_antora.sh index d40934004..93901b3d6 100644 --- a/doc/build_antora.sh +++ b/doc/build_antora.sh @@ -7,6 +7,8 @@ # Official repository: https://github.com/boostorg/url # +set -xe + if [ $# -eq 0 ] then echo "No playbook supplied, using default playbook"