blob: 92f50786e1d10a48d4675c0ebc822035d0975675 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
set -eu
cd $HOME/deployment
# like "git pull", but discard local changes
git fetch
git reset --hard FETCH_HEAD
cd $HOME/deployment/taler-docbuild
./invalidate.sh
make
|