commit 21ee5bdf21f2806aaa87dfbcaa87495d91fbcaf0
parent bf8aabc12e0a88837827834f3407e07ad8a546e9
Author: Christian Grothoff <christian@grothoff.org>
Date: Sun, 9 Aug 2026 13:10:34 +0200
add pepsi
Diffstat:
4 files changed, 50 insertions(+), 2 deletions(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -359,7 +359,7 @@ BUILDERS.append(util.BuilderConfig(
def web_page(change):
_change = change.asDict()
repo = _change.get("project")
- if repo in ["taler-docs", "taler-tutorials", "taler-www", "twister", "taler-deployment", "buywith", "taler-ops-www", "taler-systems-www", "anastasis-www"]:
+ if repo in ["taler-docs", "taler-tutorials", "taler-www", "twister", "taler-deployment", "buywith", "taler-ops-www", "taler-systems-www", "anastasis-www", "pepsi"]:
return True
return False
diff --git a/worker-sites/Makefile b/worker-sites/Makefile
@@ -1,6 +1,6 @@
BASE="${HOME}/taler-deployment/worker-sites"
-all: www.taler.net-stamp twister.taler.net-stamp stage.taler.net-stamp docs.taler.net-stamp tutorials.taler.net-stamp docs.anastasis.lu-stamp taler-systems.com-stamp taler-ops.ch-stamp stage.taler-ops.ch-stamp anastasis.lu-stamp map.taler-ops.ch-stamp
+all: www.taler.net-stamp twister.taler.net-stamp stage.taler.net-stamp docs.taler.net-stamp tutorials.taler.net-stamp docs.anastasis.lu-stamp taler-systems.com-stamp taler-ops.ch-stamp stage.taler-ops.ch-stamp anastasis.lu-stamp map.taler-ops.ch-stamp pepsi.taler.net-stamp
stage.taler.net-stamp:
${BASE}/update_taler_stage.sh
@@ -18,6 +18,10 @@ tutorials.taler.net-stamp:
${BASE}/update_tutorials.sh
touch $@
+pepsi.taler.net-stamp:
+ ${BASE}/update_pepsi_docs.sh
+ touch $@
+
www.taler.net-stamp:
${BASE}/update_taler.sh
touch $@
diff --git a/worker-sites/invalidate.sh b/worker-sites/invalidate.sh
@@ -57,6 +57,15 @@ then
rm -f $HOME/stamps/tutorials.taler.net-stamp
fi
+# Check pepsi.taler.net Web page (the Pepsi manual).
+cd $HOME/pepsi
+git fetch
+if git status -sb | grep behind;
+then
+ echo "invalidating pepsi.taler.net"
+ rm -f $HOME/stamps/pepsi.taler.net-stamp
+fi
+
# Check {www.}taler-ops.ch and stage.taler-ops.ch
cd $HOME/taler-ops-www
diff --git a/worker-sites/update_pepsi_docs.sh b/worker-sites/update_pepsi_docs.sh
@@ -0,0 +1,35 @@
+#!/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/pepsi
+
+git checkout master -f
+fetch
+# No 'git submodule update': the only submodule (vendor/taler-rust) is a Rust
+# dependency, the manual builds from docs/manual alone.
+
+# 'make docs-html' builds the manual for *every* language of DOC_LANGUAGES into
+# docs/manual/_build/html/<lang>/<version>/, plus an index.html at the root of
+# that tree redirecting to the default language and version. Note that the
+# preceding 'git clean -fdx' wipes the build tree, so each run publishes only
+# the version that is current in master.
+make docs-html
+mv docs/manual/_build/html/ $HOME/pepsi.taler.net.wip
+
+chmod -R g+rx $HOME/pepsi.taler.net.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/pepsi.taler.net.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/pepsi.taler.net/ $HOME/pepsi.taler.net.old/ || true
+mv $HOME/pepsi.taler.net.wip/ $HOME/pepsi.taler.net/