How to modify the documentation

• checkout the sources from svn
• start a command window (Windows) or shell (*nix)
• make sure that the JAVA_HOME environment variable is set to a JDK installation
• run bin\set_env.bat (Windows) or bin/set_env.sh (*nix)
• copy the master\src\config\build.properties file into your home directory
• modify the docs in site\src\xdocs
• in the site directory, execute maven clean site
• make sure the build is successfull!
• check in the changes