commit 6079ee3ce617a827d44edeed798756937827222c
parent 69f7c313ef371229cd0c30ce07c83e4aca4cef4d
Author: Christian Grothoff <christian@grothoff.org>
Date: Sun, 1 Dec 2019 21:35:58 +0100
fix web page builders
Diffstat:
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/taler-sitesbuild/update_stage.sh b/taler-sitesbuild/update_stage.sh
@@ -16,12 +16,14 @@ cd $HOME/www
git checkout master -f
fetch
git submodule update --init --force
+./bootstrap
+./configure
make
mkdir -p $HOME/stage.taler.net/
# Delete old content
-rm -fr $HOME/stage.taler.net/*
+rm -fr $HOME/stage.taler.net/*
cp -rt $HOME/stage.taler.net/ \
rendered/*
diff --git a/taler-sitesbuild/update_www.sh b/taler-sitesbuild/update_www.sh
@@ -16,6 +16,8 @@ cd $HOME/www
git checkout stable -f
fetch
git submodule update --init --force
+./bootstrap
+./configure
make
mkdir -p $HOME/www.taler.net/