Please review a trivial fix to change the doctype for a file from HTML 4
to HTML 5. This gets the file off the doccheck radar.
No webrev; patch below.
-- Jon
JBS: https://bugs.openjdk.java.net/browse/JDK-8225346
$ hg diff -R open
diff -r f4df9d4201cc make/data/docs-resources/index.html
--- a/make/data/docs-resources/index.html Tue Jun 04 16:50:25 2019 -0700
+++ b/make/data/docs-resources/index.html Wed Jun 05 08:11:55 2019 -0700
@@ -1,4 +1,4 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
+<!DOCTYPE html>
<!--
Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
