docs: correct DEVELOPER.md inconsistencies (#18865)

2017-08-24 08:03:05 -07:00 · 2017-08-24 08:03:05 -07:00 · f692655ec5
parent 3db84c8220
commit f692655ec5
1 changed files with 1 additions and 1 deletions
--- a/docs/DEVELOPER.md
+++ b/docs/DEVELOPER.md
@ -177,7 +177,7 @@ First time, you need to create the github repositories:

 ``` shell
 $ export TOKEN=[get one from https://github.com/settings/tokens]
-$ CREATE_REPOS=1 ./scripts/publish/publish-build-artifacts.sh [github username]
+$ CREATE_REPOS=1 TRAVIS= ./scripts/ci/publish-build-artifacts.sh [github username]
 ```

 For subsequent snapshots, just run