Major Description
If the "docs" profile is activated in maven, scripts that expect pdflatex to be available are executed. If pdflatex is not available, these scripts exit silently. They should fail, since the docs profile was explicitly activated and is expected to succeed.