diff options
author | Aric Gardner <agardner@linuxfoundation.org> | 2015-08-06 17:05:38 -0400 |
---|---|---|
committer | Aric Gardner <agardner@linuxfoundation.org> | 2015-08-06 17:05:38 -0400 |
commit | accfa671c93fab42427ac2c5d65165a796fcab3b (patch) | |
tree | 2bf9ffb8c5b63cfb2d712dc2e45492d6b1d86ca2 /jjb/copper | |
parent | dba2985be7bf345d6c63adc752b17dbd2f640f50 (diff) |
Doing without the make file, this works better locally.
Change-Id: Ic5cd3304443b7d079e0967e0b3c5c377ea4d681c
Signed-off-by: Aric Gardner <agardner@linuxfoundation.org>
Diffstat (limited to 'jjb/copper')
-rw-r--r-- | jjb/copper/docu-build.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/jjb/copper/docu-build.sh b/jjb/copper/docu-build.sh index ffb131114..626814d82 100644 --- a/jjb/copper/docu-build.sh +++ b/jjb/copper/docu-build.sh @@ -9,7 +9,8 @@ echo "Build" echo "-----" echo -make +#make +sphinx-build -b html -E -c etc/ design_docs/ build/ echo echo "Upload" @@ -31,13 +32,13 @@ fi if [[ $JOB_NAME =~ "verify" ]] ; then gsutil cp -r build/* "gs://$gs_path_review/" echo - echo "Document is available at http://$gs_path_review" + echo "Document is available at http://$gs_path_review/index.html" else gsutil cp -r build/design_docs "gs://$gs_path_branch/" gsutil cp -r build/requirements/html "gs://$gs_path_branch/" gsutil cp -r build/requirements/latex/*.pdf "gs://$gs_path_branch/" echo - echo "Latest document is available at http://$gs_path_branch" + echo "Latest document is available at http://$gs_path_branch/index.html" if gsutil ls "gs://$gs_path_review" > /dev/null 2>&1 ; then echo |