diff options
| author | Kaushal Modi <kaushal.modi@gmail.com> | 2018-09-18 09:10:53 -0400 |
|---|---|---|
| committer | Kaushal Modi <kaushal.modi@gmail.com> | 2018-09-18 09:10:53 -0400 |
| commit | 308710c1e22db345a072c56e595e23e5e9ca376a (patch) | |
| tree | 75835fcaf59e95586dbb9e441ab95d1fd398d71d | |
| parent | 97fefa3f50a7a594d57b25dcda4ef36f88df8364 (diff) | |
| download | Nim-308710c1e22db345a072c56e595e23e5e9ca376a.tar.gz | |
Deploy devel build of docs to https://nim-lang.github.io/Nim
| -rw-r--r-- | .travis.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 9541cdae7..007fef9fe 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,7 +5,6 @@ os: - osx dist: trusty - matrix: allow_failures: - os: osx @@ -52,3 +51,16 @@ script: - ./koch nimsuggest - nim c -r nimsuggest/tester - nim c -r nimdoc/tester + +before_deploy: + # Make https://nim-lang.github.io/Nim work the same as https://nim-lang.github.io/Nim/overview.html + - cp -f ./doc/html/overview.html ./doc/html/index.html +deploy: + provider: pages + # local-dir *has* to be a relative path from the repo root. + local-dir: "doc/html" + skip-cleanup: true + github-token: "$GITHUB_OAUTH_TOKEN" + keep-history: false + on: + branch: devel |