# HG changeset patch
# User prr
# Date 1522430507 25200
# Node ID 0837a7e2c65bd30aa2d32157999c4d4454b4be42
# Parent  f9e81b6bfc20e46ee8681e21ebeb89bd936f5a5c# Parent  2a65a8de92725c2c22dbff0a5788b1831d612b28
Merge

diff -r f9e81b6bfc20 -r 0837a7e2c65b make/Docs.gmk
--- a/make/Docs.gmk	Fri Mar 30 09:24:04 2018 -0700
+++ b/make/Docs.gmk	Fri Mar 30 10:21:47 2018 -0700
@@ -64,7 +64,7 @@
 JAVADOC_BASE_URL := http://www.oracle.com/pls/topic/lookup?ctx=javase10&id=homepage
 BUG_SUBMIT_URL := http://bugreport.java.com/bugreport/
 COPYRIGHT_URL := {@docroot}/../legal/copyright.html
-LICENSE_URL := http://www.oracle.com/technetwork/java/javase/terms/license/java10speclicense.html
+LICENSE_URL := http://www.oracle.com/technetwork/java/javase/terms/license/java$(VERSION_NUMBER)speclicense.html
 REDISTRIBUTION_URL := http://www.oracle.com/technetwork/java/redist-137594.html
 
 # In order to get a specific ordering it's necessary to specify the total