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, 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.