blob: ceccb929313a3ec197dcc6e9a4017d794b6fae8f (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
#!/usr/bin/env bash
# Abort on first error
set -e
# Directories
ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
DIST_DIR="$ROOT_DIR/build/dokka"
PAGES_DIR="$ROOT_DIR/pages"
# Init options
GRADLE_OPT=
PUSH_OPT=
# Set dry run if needed
if [ "$2" == "push" ] ; then
echo "--- Doing LIVE site deployment, so do clean build"
GRADLE_OPT=clean
else
echo "--- Doing dry-run. To commit do 'deploy.sh <version> push'"
PUSH_OPT=--dry-run
fi
# Makes sure that site is built
"$ROOT_DIR/gradlew" $GRADLE_OPT dokka
# Cleanup dist directory (and ignore errors)
rm -rf "$PAGES_DIR" || true
# Prune worktrees to avoid errors from previous attempts
git --work-tree "$ROOT_DIR" worktree prune
# Create git worktree for gh-pages branch
git --work-tree "$ROOT_DIR" worktree add -B gh-pages "$PAGES_DIR" origin/gh-pages
# Now work in newly created workspace
cd "$PAGES_DIR"
# Fixup all the old documentation files
# Remove non-.html files
git rm $(find . -type f -not -name '*.html' -not -name '.git') > /dev/null
# Copy new documentation from dist
cp -r "$DIST_DIR"/* "$PAGES_DIR"
# Add it all to git
git add *
# Commit docs for the new version
if [ -z "$1" ] ; then
echo "No argument with version supplied -- skipping commit"
else
git commit -m "Version $1 docs"
git push $PUSH_OPT origin gh-pages:gh-pages
fi
|
