[taler-deployment] branch master updated: $HOME

[gnunet]

This is an automated email from the git hooks/post-receive script.

buck pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new 2708009  $HOME
2708009 is described below

commit 2708009eaf89fbc5641f57411c97e3278b7032d5
Author: buckE <buckE@disroot.org>
AuthorDate: Wed Jun 24 03:41:18 2020 +0000

    $HOME
---
 buildbot/build-docs.sh | 21 +++++++++++----------
 1 file 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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.