diff -r 8bc3162917ea -r 4ad71baca90c make/Javadoc.gmk
--- a/make/Javadoc.gmk Mon Nov 23 13:59:08 2015 -0800
+++ b/make/Javadoc.gmk Tue Nov 24 15:06:49 2015 -0800
@@ -258,6 +258,8 @@
with conceptual overviews, definitions of terms, workarounds, \
and working code examples.
\
$(call CopyrightLine,$(COPYRIGHT_URL),$(FIRST_COPYRIGHT_YEAR),)\
+Use is subject to license terms. \
+Also see the documentation redistribution policy.\
# Common javadoc options used by all