aboutsummaryrefslogtreecommitdiff
path: root/website/publish
AgeCommit message (Collapse)Author
2009-07-17Check for tar file instead of zip fileRoel Spilker
2009-07-17Added useful error message in case you don't have the gh-pages branch locally.Roel Spilker
2009-07-17Remove reliance on dirname, as its not available on some git-for-windows ↵Reinier Zwitserloot
installs.
2009-07-17Added a script that publishes the website dir to github via some crazy git fu.Reinier Zwitserloot
Also stripped out how javadoc generated a comment with a timestamp, as to publish to github, we check in the files, which generates pointless and enormous changesets.