Fix docs publication not working
This commit is contained in:
parent
f78737c0cf
commit
0a1fe4b8aa
1 changed files with 1 additions and 1 deletions
|
|
@ -27,7 +27,7 @@ after_success:
|
||||||
- |
|
- |
|
||||||
[ $TRAVIS_BRANCH = master ] &&
|
[ $TRAVIS_BRANCH = master ] &&
|
||||||
[ $TRAVIS_PULL_REQUEST = false ] &&
|
[ $TRAVIS_PULL_REQUEST = false ] &&
|
||||||
cargo doc --features "window headless" &&
|
cargo doc &&
|
||||||
echo '<meta http-equiv=refresh content=0;url=glutin/index.html>' > target/doc/index.html &&
|
echo '<meta http-equiv=refresh content=0;url=glutin/index.html>' > target/doc/index.html &&
|
||||||
sudo pip install ghp-import &&
|
sudo pip install ghp-import &&
|
||||||
ghp-import -n target/doc &&
|
ghp-import -n target/doc &&
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue