]>
Commit | Line | Data |
---|---|---|
6f7c6d5a JT |
1 | #!/bin/bash |
2 | set -e # exit with nonzero exit code if anything fails | |
3 | ||
5250177e | 4 | # Build documentation |
6f7c6d5a JT |
5 | cabal haddock |
6 | ||
5250177e JT |
7 | # Go to haddock output dir |
8 | cd dist/doc/html/hmacaroons | |
9 | ||
10 | # Quiet the git init message, since it's not useful in the build log | |
11 | git init > /dev/null 2>&1 | |
6f7c6d5a JT |
12 | |
13 | # inside this git repo we'll pretend to be a new user | |
14 | git config user.name "Travis CI" | |
15 | git config user.email "julien.tanguy@jhome.fr" | |
16 | ||
17 | # The first and only commit to this new Git repo contains all the | |
18 | # files present with the commit message "Deploy to GitHub Pages". | |
19 | git add . | |
5250177e JT |
20 | # Silence the commit too |
21 | git commit -m "Deploy to GitHub Pages" > /dev/null 2>&1 | |
22 | ||
6f7c6d5a JT |
23 | |
24 | # Force push from the current repo's master branch to the remote | |
25 | # repo's gh-pages branch. (All previous history on the gh-pages branch | |
26 | # will be lost, since we are overwriting it.) We redirect any output to | |
27 | # /dev/null to hide any sensitive credential data that might otherwise be exposed. | |
15b8a37d | 28 | echo "Pushing haddock to gh-pages" |
6f7c6d5a JT |
29 | git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1 |
30 | ||
5250177e | 31 | cd ~/build/jtanguy/hmacaroons |