make/Docs.gmk
changeset 45613 3d1c96cd5479
parent 45610 e9dbf9eb0100
child 45616 88a3b1082777
--- a/make/Docs.gmk	Thu Jun 15 11:54:26 2017 -0700
+++ b/make/Docs.gmk	Fri Jun 16 11:41:25 2017 +0200
@@ -63,7 +63,7 @@
 # URLs
 JAVADOC_BASE_URL := http://www.oracle.com/pls/topic/lookup?ctx=javase9&id=homepage
 BUG_SUBMIT_URL := http://bugreport.java.com/bugreport/
-COPYRIGHT_URL := {@docroot}/../legal/cpyr.html
+COPYRIGHT_URL := {@docroot}/../legal/copyright.html
 LICENSE_URL := http://www.oracle.com/technetwork/java/javase/terms/license/java9speclicense.html
 REDISTRIBUTION_URL := http://www.oracle.com/technetwork/java/redist-137594.html
 
@@ -448,7 +448,7 @@
 $(JDK_INDEX_HTML): 
 	$(ECHO) '$(JDK_INDEX_CONTENT)' > $@
 
-JDK_INDEX_TARGETS := $(JDK_INDEX_HTML)
+JDK_INDEX_TARGETS += $(JDK_INDEX_HTML)
 
 # Copy the global resources
 GLOBAL_SPECS_RESOURCES_DIR := $(JDK_TOPDIR)/make/data/docs-resources/