diff options
author | Aric Gardner <agardner@linuxfoundation.org> | 2015-08-26 17:25:15 -0400 |
---|---|---|
committer | Aric Gardner <agardner@linuxfoundation.org> | 2015-08-26 17:25:34 -0400 |
commit | 84b2e7af8e02d4fe96c20dc2209898628857405c (patch) | |
tree | e7d338a10029c008867a06c83ab7a99cdb937abb /jjb | |
parent | ae219bb00ef5ad0c90579587d14cfbb48f06d5be (diff) |
My done was in the wrong place
Change-Id: I9e74a8eb28a65b1dbd2c719d159e5364555f026a
Signed-off-by: Aric Gardner <agardner@linuxfoundation.org>
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 |