blob: 7c49017a390203c058112d97b9d5d70d84b1ba8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/bin/bash
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/www
fetch
git submodule update --init --force
git checkout stable -f
make
mkdir -p $HOME/www.taler.net/
for page in `find en/ fr/ it/ es/ pt/ ru/ de/ -name "*.html"`; do
tidy -o $page $page || true ;
done
cp -rt $HOME/www.taler.net/ \
en/ \
fr/ \
it/ \
es/ \
pt/ \
ru/ \
de/ \
images/ \
presentations/ \
papers/ \
dist/ \
pdf/ \
team-images/
chmod -R g+rx $HOME/www.taler.net/
|