1.2. Documentation build

An ant build file (build.xml) is available in the doc folder to automate building the documentation in the following formats: