Release

For the project release, see this page.

To release website, proceed as follows. First of all, be sure to be in the develop branch.

mvn clean package site:site site:deploy -Prelease -DskipTests -Dsite.root=http://tint.fbk.eu
rm -r docs/*
cp -rp target/website/* docs/
git add docs/
git commit -m "Website"
git push
git checkout master
git cherry-pick #ID
git push
git checkout develop