diff options
Diffstat (limited to 'buildScripts')
| -rw-r--r-- | buildScripts/website.ant.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml index 5c996fc6..ddcb2219 100644 --- a/buildScripts/website.ant.xml +++ b/buildScripts/website.ant.xml @@ -209,6 +209,16 @@ such as applying the templates to produce the website, converting the changelog username="${ssh.username}" keyfile="${ssh.keyfile}" knownHosts="ssh.knownHosts" /> + <exec executable="/usr/bin/git"> + <arg value="tag" /> + <arg value="-f" /> + <arg value="live" /> + </exec> + <exec executable="/usr/bin/git"> + <arg value="push" /> + <arg value="-f" /> + <arg value="--tags" /> + </exec> </target> <target name="javadoc" description="Generates the javadoc" depends="-ensure-version, -ensure-fullversion" unless="skip.javadoc"> |