blob: fe322f9a8f51f470e55f3c83cb6711a006a92089 (
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
|
#!/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"
}
cd $HOME/deployment
fetch
cd doc/
make all
mkdir -p $HOME/build/onboarding/html/
mkdir -p $HOME/build/onboarding/pdf/
cp *.css $HOME/build/onboarding/html/
cp onboarding.html $HOME/build/onboarding/html/
cp onboarding.pdf $HOME/build/onboarding/pdf/
|