diff --git a/solenv/bin/mkdocs_portal.sh b/solenv/bin/mkdocs_portal.sh index 55b2ebbfe784..4a05d195ac32 100755 --- a/solenv/bin/mkdocs_portal.sh +++ b/solenv/bin/mkdocs_portal.sh @@ -1,5 +1,9 @@ #!/bin/bash +if [ -n "$debug" ] ; then + set -x +fi + SRCDIR="$1" BASE_OUTPUT="$2" @@ -51,11 +55,11 @@ local output="$1"