From f78d9cdf22252134c2fdc43add52eebd6bca6737 Mon Sep 17 00:00:00 2001
From: Sam Brannen <sbrannen@vmware.com>
Date: Tue, 19 Oct 2021 16:58:36 +0200
Subject: [PATCH] Remove configuration of obsolete html5 javadoc option

---
 gradle/docs.gradle | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/gradle/docs.gradle b/gradle/docs.gradle
index fb7ad3d006..043282176a 100644
--- a/gradle/docs.gradle
+++ b/gradle/docs.gradle
@@ -49,9 +49,6 @@ task api(type: Javadoc) {
 		links(project.ext.javadocLinks)
 		addBooleanOption('Xdoclint:syntax', true) // only check syntax with doclint
 		addBooleanOption('Werror', true) // fail build on Javadoc warnings
-		if (JavaVersion.current().isJava9Compatible()) {
-			addBooleanOption('html5', true)
-		}
 	}
 	source moduleProjects.collect { project ->
 		project.sourceSets.main.allJava