# HG changeset patch
# User ihse
# Date 1497606085 -7200
# Node ID ce42e2c57dc7e6f922ba63db66b14781e01afcae
# Parent  e5c8a9c39558a87e1993325d65543625e330af56
8179556: Add specs copyright file
Reviewed-by: erikj

diff -r e5c8a9c39558 -r ce42e2c57dc7 make/Docs.gmk
--- 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/