diff options
Diffstat (limited to 'doc/publishing.txt')
| -rw-r--r-- | doc/publishing.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/publishing.txt b/doc/publishing.txt index 326e5862..aa47e9aa 100644 --- a/doc/publishing.txt +++ b/doc/publishing.txt @@ -5,3 +5,11 @@ git tag v0.8.1 git push git push --tags ant publish + +Then, up the version number again, to v0.8.2-HEAD, and run: +ant website + +and publish the website. Or, at least: +ant changelogToHtml + +and publish build/website/changelog.html |