--- a/make/Docs.gmk Tue Dec 11 15:47:31 2018 +0100
+++ b/make/Docs.gmk Wed Dec 12 18:59:23 2018 +0100
@@ -168,14 +168,6 @@
font-family: DejaVu Sans, Arial, Helvetica, sans-serif; \
font-weight: normal;">$(DRAFT_TEXT)</div>
-JDK_INDEX_CONTENT := \
- <!DOCTYPE html> \
- <html lang="en"> \
- <head> \
- <meta http-equiv="refresh" content="0;url=api/index.html"> \
- </head> \
- </html>
-
################################################################################
# JDK javadoc titles/text snippets
@@ -485,14 +477,7 @@
################################################################################
-JDK_INDEX_HTML := $(DOCS_OUTPUTDIR)/index.html
-
-$(JDK_INDEX_HTML):
- $(ECHO) '$(JDK_INDEX_CONTENT)' > $@
-
-JDK_INDEX_TARGETS += $(JDK_INDEX_HTML)
-
-# Copy the global resources
+# Copy the global resources, including the top-level redirect index.html
GLOBAL_SPECS_RESOURCES_DIR := $(TOPDIR)/make/data/docs-resources/
$(eval $(call SetupCopyFiles, COPY_GLOBAL_RESOURCES, \
SRC := $(GLOBAL_SPECS_RESOURCES_DIR), \