deploy
Merge branch 'master' of ssh://github.com/Rudin-Informatik/ch.ri.webdoc
[maven-release-plugin] prepare release webdoc-1.2