diff options
Diffstat (limited to 'jjb')
| -rwxr-xr-x | jjb/releng/docu-build-new.sh | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/jjb/releng/docu-build-new.sh b/jjb/releng/docu-build-new.sh index 01827cb25..cecd65c81 100755 --- a/jjb/releng/docu-build-new.sh +++ b/jjb/releng/docu-build-new.sh @@ -19,17 +19,18 @@ while read -d $'\n'; do done < <(find docs/ -name 'index.rst' -printf '%h\n' | sort -u ) for dir in "${{directories[@]}}"; do -echo -echo "#############################" -echo "Building DOCS in ${{dir##*/}}" -echo "#############################" -echo - -if [[ ! -d docs/output/"${{dir##*/}}/" ]]; then - mkdir -p docs/output/"${{dir##*/}}/" -fi + echo + echo "#############################" + echo "Building DOCS in ${{dir##*/}}" + echo "#############################" + echo + + if [[ ! -d docs/output/"${{dir##*/}}/" ]]; then + mkdir -p docs/output/"${{dir##*/}}/" + fi -sphinx-build -b html -E -c docs/etc/ ""$dir"/" docs/output/"${{dir##*/}}/" + sphinx-build -b html -E -c docs/etc/ ""$dir"/" docs/output/"${{dir##*/}}/" +done # NOTE: make sure source parameters for GS paths are not empty. [[ $GERRIT_CHANGE_NUMBER =~ .+ ]] @@ -75,5 +76,4 @@ while read -d $'\n'; do fi - done done |