diff options
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | scripts/pushdoc.sh | 1 |
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: | |||
| 25 | env: | 25 | env: |
| 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 | ||
| 30 | before_install: | 30 | before_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. |
| 22 | echo "Pushing haddock to gh-pages" | ||
| 22 | git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1 | 23 | git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1 |
| 23 | 24 | ||
| 24 | popd | 25 | popd |