commit db05b3b4595ea7d504edbf52f145a682feb38bb1
parent 1d2775a2f8086764ab896c787363d1f9d02562bf
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 17 Jan 2025 16:29:13 +0100
add docs.anastasis.lu
Diffstat:
5 files changed, 43 insertions(+), 3 deletions(-)
diff --git a/buildbot/make-buildbot-sitesworker.sh b/buildbot/make-buildbot-sitesworker.sh
@@ -21,7 +21,7 @@ then
fi
BRANCH=master
-REPOS="taler-www twister taler-docs taler-tutorials"
+REPOS="anastasis taler-www twister taler-docs taler-tutorials"
cd $HOME
diff --git a/worker-sites/Makefile b/worker-sites/Makefile
@@ -7,7 +7,11 @@ stage.taler.net-stamp:
touch $@
docs.taler.net-stamp:
- ${BASE}/update_docs.sh
+ ${BASE}/update_taler_docs.sh
+ touch $@
+
+docs.anastasis.lu-stamp:
+ ${BASE}/update_anastasis_docs.sh
touch $@
tutorials.taler.net-stamp:
diff --git a/worker-sites/invalidate.sh b/worker-sites/invalidate.sh
@@ -30,7 +30,6 @@ then
rm -f $HOME/stamps/twister.taler.net-stamp
fi
-
# Check taler-docs Web page.
cd $HOME/taler-docs
git fetch
@@ -40,6 +39,14 @@ then
rm -f $HOME/stamps/docs.taler.net-stamp
fi
+# Check docs.anastasis.lu Web page.
+cd $HOME/anastasis
+git fetch
+if git status -sb | grep behind;
+then
+ echo "invalidating docs.anastasis.lu"
+ rm -f $HOME/stamps/docs.anastasis.lu-stamp
+fi
# Check taler-tutorials Web page.
cd $HOME/taler-tutorials
diff --git a/worker-sites/update_anastasis_docs.sh b/worker-sites/update_anastasis_docs.sh
@@ -0,0 +1,29 @@
+#!/bin/sh
+
+set -eu
+
+fetch () {
+ git clean -fdx
+ git fetch
+ # reset to updated upstream branch, but only if we're tracking a branch
+ branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+ git reset --hard "$branch"
+}
+
+# Assumes the repo was already checked out once.
+cd $HOME/anastasis
+
+git checkout master -f
+fetch
+git submodule update --init --force
+cd doc/sphinx
+make html
+mv _build/html/ $HOME/docs.anastasis.lu.wip
+
+chmod -R g+rx $HOME/docs.anastasis.lu.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/docs.anastasis.lu.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/docs.anastasis.lu/ $HOME/docs.anastasis.lu.old/ || true
+mv $HOME/docs.anastasis.lu.wip/ $HOME/docs.anastasis.lu/
diff --git a/worker-sites/update_docs.sh b/worker-sites/update_taler_docs.sh
