It can be rather long, and it's especially annoying when running mvn clean install -DskipTests. Let's use a profile (-Pdocumentation-pdf) to trigger the generation of the PDF documentation. Let's also update the travis build, the Jenkins builds and the release scripts as necessary. |