tsunami  upload.md at [dae97ddb58]

File src/doc/upload.md artifact d1820aebbb part of check-in dae97ddb58


# uploading
the tsunami tree comes with a script to upload its output to a GitHub Pages site. to do this, open a [terminal](using-pub.html), `cd` to the root of the tsunami project, and run the command `./up.sh`.

the script uses an *OAuth token* to communicate with the GitHub server so you don't need to enter your password when you update the site. you need to get one from your github account settings and supply it to `up.sh` on first run.

if you don't need to check the local output before you update the site, you can use the command `./pub.pl; ./up.sh` to accomplish in one go.