diff --git a/docs/en/publishing.html b/docs/en/publishing.html index 5b4b80893c..05bc38b3bf 100644 --- a/docs/en/publishing.html +++ b/docs/en/publishing.html @@ -99,7 +99,7 @@ build_and_deploy: jobs: - deploy-website -# filters: *filter-only-master +# filters: *filter-only-master

Make sure to replace all <....> in the command: sequence with appropriate values. For <GIT_USER>, it should be a GitHub account that has access to push documentation to your GitHub repo. Many times <GIT_USER> and <GITHUB_USERNAME> will be the same.

DO NOT place the actual value of $GITHUB_TOKEN in circle.yml. We already configured that as an environment variable back in Step 3.