Make Gradle build use javadocLatex #52
Description
The Gradle build should use the javadocLatex task, not the javadoc task to generate the javadoc when building the jars.
{{ message }}
The Gradle build should use the javadocLatex task, not the javadoc task to generate the javadoc when building the jars.