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