diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/publishing.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/publishing.txt b/doc/publishing.txt new file mode 100644 index 00000000..326e5862 --- /dev/null +++ b/doc/publishing.txt @@ -0,0 +1,7 @@ +To publish: + +Make sure you up the version number, then, assuming the version number is now '0.8.1': +git tag v0.8.1 +git push +git push --tags +ant publish |