diff --git a/share/tools/dobuild_wrap.sh b/share/tools/dobuild_wrap.sh index c62dfa7bfc..83d84ed37a 100755 --- a/share/tools/dobuild_wrap.sh +++ b/share/tools/dobuild_wrap.sh @@ -29,6 +29,10 @@ # Wrapper around doc build. Simplifies main build script. # NOTE: This script is not automatically updated on the builder. +if [ -f "${PWD}/local.conf" ]; then + . ${PWD}/local.conf +fi + # # Default configuration. #