chg: [travis] mkdocs disabled for the time being

pull/326/head
Alexandre Dulaunoy 2019-08-01 15:14:00 +02:00
parent 7fd769efb9
commit 0d4d97feec
No known key found for this signature in database
GPG Key ID: 09E2CD4944E6CBCD
1 changed files with 2 additions and 2 deletions

View File

@ -36,7 +36,7 @@ after_success:
- pipenv run coverage combine .coverage* - pipenv run coverage combine .coverage*
- pipenv run codecov - pipenv run codecov
# MKDOCS # MKDOCS
- make ci_generate_docs # - make ci_generate_docs
deploy: deploy:
provider: pages provider: pages
@ -45,4 +45,4 @@ deploy:
github-token: $GITHUB_TOKEN # Set in the settings page of your repository, as a secure variable github-token: $GITHUB_TOKEN # Set in the settings page of your repository, as a secure variable
keep-history: true keep-history: true
on: on:
branch: master branch: master