]>
git.immae.eu Git - github/fretlink/hmacaroons.git/blob - scripts/pushdoc.sh
ccae6c9aa43869279bfec6751b4822bc40cb5526
2 set -e # exit with nonzero exit code if anything fails
7 # Go to haddock output dir
8 cd dist
/doc
/html
/hmacaroons
11 cp benchmark.html dist
/doc
/html
/hmacaroons
13 # Quiet the git init message, since it's not useful in the build log
14 git init
> /dev
/null
2>&1
16 # inside this git repo we'll pretend to be a new user
17 git config user.name
"Travis CI"
18 git config user.email
"julien.tanguy@jhome.fr"
20 # The first and only commit to this new Git repo contains all the
21 # files present with the commit message "Deploy to GitHub Pages".
23 # Silence the commit too
24 git commit
-m "Deploy to GitHub Pages" > /dev
/null
2>&1
27 # Force push from the current repo's master branch to the remote
28 # repo's gh-pages branch. (All previous history on the gh-pages branch
29 # will be lost, since we are overwriting it.) We redirect any output to
30 # /dev/null to hide any sensitive credential data that might otherwise be exposed.
31 echo "Pushing haddock to gh-pages"
32 git push
--force --quiet "https://${GH_TOKEN}@${GH_REF}" master
:gh
-pages > /dev
/null
2>&1
34 cd ~
/build
/jtanguy
/hmacaroons