Browse Source

Update the gh-pages branch

The site was generated, but updating the gh-pages branch was included
in the `publishSite` target. So a new target is added and called,
`updateSite`.
tags/r1.9.0
Florian Zschocke 4 years ago
parent
commit
4779771589
2 changed files with 18 additions and 0 deletions
  1. 9
    0
      build.xml
  2. 9
    0
      release.template

+ 9
- 0
build.xml View File

@@ -806,6 +806,15 @@
</target>
<!--
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Build site and update GH pages for publishing
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-->
<target name="updateSite" depends="buildSite,updateGhPages" description="Update the Gitblit pages site" >
</target>
<!--
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Publish site to site hosting service

+ 9
- 0
release.template View File

@@ -63,6 +63,15 @@ git add .
git commit -m "${project.version} artifacts"
cd ${project.directory}


# build RELEASE site
echo ""
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
echo "Updating ${project.version} website"
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
echo ""
$antCmd updateSite

# upload artifacts
echo ""
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"

Loading…
Cancel
Save