# HG changeset patch
# User bpatel
# Date 1522125033 25200
# Node ID ce86061aff12f44076711e33780791c5e718b867
# Parent  d2fd2581325bf5bfeeb63711ecfce3daee9fd682
8199705: Docs.gmk needs to be updated to remove the -html5 option
Reviewed-by: erikj

diff -r d2fd2581325b -r ce86061aff12 make/Docs.gmk
--- a/make/Docs.gmk	Mon Mar 26 18:07:24 2018 -0700
+++ b/make/Docs.gmk	Mon Mar 26 21:30:33 2018 -0700
@@ -108,7 +108,7 @@
 # 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