src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java Thu Feb 21 14:03:57 2019 -0800
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java Thu Feb 21 15:05:47 2019 -0800
@@ -145,7 +145,7 @@
addBottom(footer);
body.addContent(footer);
String description = "index: " + unicode;
- printHtmlDocument(null, description, true, body);
+ printHtmlDocument(null, description, body);
}
/**