You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
29 lines
349 B
29 lines
349 B
#!/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
|
|
|
|
|