blob: 3754261d9aabc3a3db665bccd7ec3b5991c514dc (
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
|
#!/bin/bash
set -o nounset
set -o pipefail
set -o errexit
build() {
./build.sh doc
}
copy() {
cp -a ./_tmp/doc/* ./gh-pages/doc/
echo "After commiting changes, you can publish them by running: ./docs.sh publish"
}
publish() {
git subtree push --prefix gh-pages origin gh-pages
}
if test $# -eq 0 ; then
build
copy
else
"$@"
fi
|
