commit 2708009eaf89fbc5641f57411c97e3278b7032d5 parent 5cd8aa3c9ba5ae7432bd047564f3110d40ff2d27 Author: buckE <buckE@disroot.org> Date: Wed, 24 Jun 2020 03:41:18 +0000 $HOME Diffstat:
| M | buildbot/build-docs.sh | | | 21 | +++++++++++---------- |
1 file changed, 11 insertions(+), 10 deletions(-)
diff --git 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