aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.travis.yml2
-rw-r--r--scripts/pushdoc.sh1
2 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index 6d0e226..6866f86 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -25,7 +25,7 @@ matrix:
25env: 25env:
26 global: 26 global:
27 - GH_REF: github.com/jtanguy/hmacaroons.git 27 - GH_REF: github.com/jtanguy/hmacaroons.git
28 - secure: "ITyaZaTiQFOUQFN24wFWuo5sYuVJg6UQSJd28NpGdCJS9NOMk2ijZfDpY05+dug9TacmiALZ5Lt3Xlcx0pJSRkpYbG0AaB1k/52/D2LtOF13fDPAxHNbfvBRiUS4hk2LBl3SQFimYoTRNA/ssXvgjwehTB4ytkPgkLZu3rODin8=" 28 - secure: "cpcJvp233pVNy05VeWgzUEw1xYCekk1xT1x2grzhUx8mpCqXZda+Xbu76QCqLSESPgc8Q39m6bR8c+oLkbgRM1U+hR91+2sccKaP9cLTad0yoPRdm6qDB96mzLcEX+yl22GVVzSg20AZx0B9edIT9z7pnEVMJV4iDwhsx/p5Uas="
29 29
30before_install: 30before_install:
31 - unset CC 31 - unset CC
diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh
index ddab752..bea97f0 100644
--- a/scripts/pushdoc.sh
+++ b/scripts/pushdoc.sh
@@ -19,6 +19,7 @@ git commit -m "Deploy to GitHub Pages"
19# repo's gh-pages branch. (All previous history on the gh-pages branch 19# repo's gh-pages branch. (All previous history on the gh-pages branch
20# will be lost, since we are overwriting it.) We redirect any output to 20# will be lost, since we are overwriting it.) We redirect any output to
21# /dev/null to hide any sensitive credential data that might otherwise be exposed. 21# /dev/null to hide any sensitive credential data that might otherwise be exposed.
22echo "Pushing haddock to gh-pages"
22git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1 23git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
23 24
24popd 25popd