Update doc publishing instructions

This commit is contained in:
Ian Sutherland
2019-10-15 10:45:56 -06:00
committed by GitHub
parent 9243305b40
commit b4068f2443

View File

@@ -159,7 +159,7 @@ Make sure to test the released version! If you want to be extra careful, you can
1. Go to the `docusaurus/website` directory
2. Run `yarn build`
3. You'll need an [access token for the GitHub API](https://help.github.com/articles/creating-an-access-token-for-command-line-use/). Save it to this environment variable: `export GITHUB_AUTH="..."`
4. Run `GIT_USER=<GITHUB_USERNAME> CURRENT_BRANCH=master USE_SSH=true yarn run publish-gh-pages`
4. Run `GIT_USER=<GITHUB_USERNAME> CURRENT_BRANCH=master USE_SSH=true yarn deploy`
---