diff -r 2e41937c9cab -r 6538fccf77a8 make/Docs.gmk --- 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) -JDK_INDEX_CONTENT := \ - \ - \ - \ - \ - \ - - ################################################################################ # 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), \