summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorAndreas Rumpf <rumpf_a@web.de>2018-09-19 13:08:24 +0200
committerGitHub <noreply@github.com>2018-09-19 13:08:24 +0200
commitd6c7787e8db2aa1d146e72e2ac1a89f18eeac2f7 (patch)
tree2bb5f5e1f2f6525a007221dd48f2e53f735deef1
parent04f899dad3c26da29a16f76e4f87f09578836f16 (diff)
parent308710c1e22db345a072c56e595e23e5e9ca376a (diff)
downloadNim-d6c7787e8db2aa1d146e72e2ac1a89f18eeac2f7.tar.gz
Merge pull request #8992 from kaushalmodi/deploy-nightly-docs
Deploy devel build of docs to https://nim-lang.github.io/Nim
-rw-r--r--.travis.yml14
1 files changed, 13 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index fc9814ca5..b3b4834b3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,7 +5,6 @@ os:
   - osx
 dist: trusty
 
-
 matrix:
   allow_failures:
     - os: osx
@@ -54,3 +53,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