diff options
| -rwxr-xr-x | buildbot/build-docs.sh | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/buildbot/build-docs.sh b/buildbot/build-docs.sh index 29664f6..ed3bafb 100755 --- a/buildbot/build-docs.sh +++ b/buildbot/build-docs.sh @@ -10,17 +10,18 @@ fetch () { git reset --hard "$branch" } -# Can probably remove permanently re: no longer doing local sphinx logs. # Remove local path re: using global buildbot-worker not pip local install #export PATH=$HOME/.local/bin:$PATH -#logfile="/home/docbuilder/sphinx-warnings.log" -#if [ -f "$logfile" ] -# then -# echo $logfile " exists. Moving to" $logfile".old." -# mv $logfile $logfile.old -# else -# echo "Info: existing log file '$logfile' not found." -#fi + +mkdir -p $HOME/logs +logfile="$HOME/logs/sphinx-warnings.log" +if [ -f "$logfile" ] + then + echo $logfile " exists. Moving to" $logfile".old." + mv $logfile $logfile.old + else + echo "Info: existing log file '$logfile' not found." +fi cd $HOME/docs fetch @@ -33,4 +34,4 @@ mkdir -p $HOME/build/docs/pdf/ cp -r _build/html/* $HOME/build/docs/html/ cp -r _build/latex/*.pdf $HOME/build/docs/pdf/ -cat $PWD/sphinx-warnings.log +cat $logfile |