Merge pull request #380 from sebastian-nagel/cc-378-javadoc-search

Javadoc: ensure Javascript search is working, fixes #378

pom.xml

@@ -247,6 +247,28 @@
 					</execution>
 				</executions>
 			</plugin>
+			<plugin>
+				<groupId>org.apache.maven.plugins</groupId>
+				<artifactId>maven-javadoc-plugin</artifactId>
+				<version>${maven-javadoc-plugin.version}</version>
+				<configuration>
+					<links>
+						<link>https://docs.oracle.com/javase/8/docs/api/</link>
+					</links>
+					<source>${javac.src.version}</source>
+					<additionalJOptions>
+						<additionalJOption>${additionalJavadocOpts}</additionalJOption>
+					</additionalJOptions>
+				</configuration>
+				<executions>
+					<execution>
+						<id>attach-javadocs</id>
+						<goals>
+							<goal>jar</goal>
+						</goals>
+					</execution>
+				</executions>
+			</plugin>
 		</plugins>
 	</build>
 
@@ -297,6 +319,7 @@
 								</goals>
 								<configuration>
 									<quiet>true</quiet>
+									<additionalJOption>${additionalJavadocOpts}</additionalJOption>
 									<archive>
 										<manifest>
 											<addDefaultImplementationEntries>true</addDefaultImplementationEntries>
@@ -335,6 +358,15 @@
 				</plugins>
 			</build>
 		</profile>
+		<profile>
+			<id>javadoc-no-module-directories</id>
+			<activation>
+				<jdk>[11,12)</jdk>
+			</activation>
+			<properties>
+				<additionalJavadocOpts>--no-module-directories</additionalJavadocOpts>
+			</properties>
+		</profile>
 	</profiles>
 
 	<properties>