From 86c4fd2db50c57954fd70c7026b01a6aebcbb488 Mon Sep 17 00:00:00 2001
From: Bhavesh Patel <bpatel@openjdk.org>
Date: Mon, 26 Mar 2018 21:30:33 -0700
Subject: [PATCH] 8199705: Docs.gmk needs to be updated to remove the -html5
 option

Reviewed-by: erikj
---
 make/Docs.gmk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/Docs.gmk b/make/Docs.gmk
index a14f7abc0b2..4cd4fce6f96 100644
--- a/make/Docs.gmk
+++ b/make/Docs.gmk
@@ -108,7 +108,7 @@ JAVADOC_DISABLED_DOCLINT := accessibility html missing syntax reference
 # The initial set of options for javadoc
 JAVADOC_OPTIONS := -use -keywords -notimestamp \
     -serialwarn -encoding ISO-8859-1 -docencoding UTF-8 -breakiterator \
-    -splitIndex --system none -html5 -javafx --expand-requires transitive \
+    -splitIndex --system none -javafx --expand-requires transitive \
     --override-methods=summary
 
 # The reference options must stay stable to allow for comparisons across the