diff --git a/build_docs_to_publish b/build_docs_to_publish index 6928d51..dc176c6 100755 --- a/build_docs_to_publish +++ b/build_docs_to_publish @@ -1,4 +1,6 @@ #!/usr/bin/env bash set -e -. ./build_docs build_docs_to_publish +scriptname=build_docs_to_publish + +. ./build_docs