Polishing.

Explicitly set Javadoc locale to English. Add missing anchors in reference documentation. See gh-549.
2020-04-08 12:05:31 +02:00
parent a4c0eab83f
commit 573d99dbbe
2 changed files with 3 additions and 0 deletions
--- a/pom.xml
+++ b/pom.xml
@@ -434,6 +434,7 @@
 					<artifactId>maven-javadoc-plugin</artifactId>
 					<version>3.1.1</version>
 					<configuration>
+						<locale>en_US</locale>
 						<breakiterator>true</breakiterator>
 						<header>${project.name}</header>
 						<source>${java.version}</source>