diff options
author | buckE <buckE@disroot.org> | 2020-06-24 03:41:18 +0000 |
---|---|---|
committer | buckE <buckE@disroot.org> | 2020-06-24 03:41:18 +0000 |
commit | 2708009eaf89fbc5641f57411c97e3278b7032d5 (patch) | |
tree | dad0a773ec582c737f8d5ce80a16650cde07ad7d | |
parent | 5cd8aa3c9ba5ae7432bd047564f3110d40ff2d27 (diff) | |
download | deployment-2708009eaf89fbc5641f57411c97e3278b7032d5.tar.gz deployment-2708009eaf89fbc5641f57411c97e3278b7032d5.tar.bz2 deployment-2708009eaf89fbc5641f57411c97e3278b7032d5.zip |
$HOME
-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 |