Add scripts and tasks to publish docs to github pages

This commit is contained in:
Manuel de Brito Fontes 2018-04-26 18:51:12 -03:00 committed by Travis Bot
parent bad526bd54
commit 212f8bf73a
No known key found for this signature in database
GPG key ID: 786136016A8BA02A
6 changed files with 73 additions and 15 deletions

5
.gitignore vendored
View file

@ -35,4 +35,7 @@ coverage.txt
test/e2e/e2e\.test
# mkdocs
/site
site
# temporal github pages
gh-pages