summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbuckE <buckE@disroot.org>2020-06-24 03:41:18 +0000
committerbuckE <buckE@disroot.org>2020-06-24 03:41:18 +0000
commit2708009eaf89fbc5641f57411c97e3278b7032d5 (patch)
treedad0a773ec582c737f8d5ce80a16650cde07ad7d
parent5cd8aa3c9ba5ae7432bd047564f3110d40ff2d27 (diff)
downloaddeployment-2708009eaf89fbc5641f57411c97e3278b7032d5.tar.gz
deployment-2708009eaf89fbc5641f57411c97e3278b7032d5.tar.bz2
deployment-2708009eaf89fbc5641f57411c97e3278b7032d5.zip
$HOME
-rwxr-xr-xbuildbot/build-docs.sh21
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