#!/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/