changeset 670:b80abec66e70

8006124: javadoc/doclet should be updated to support profiles Reviewed-by: jjg, dholmes
author bpatel
date Mon, 21 Jan 2013 00:29:59 -0500
parents dc84b505b408
children 7ed0c9db6943
files common/makefiles/javadoc/Javadoc.gmk
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/common/makefiles/javadoc/Javadoc.gmk	Wed Jan 16 22:16:51 2013 -0800
+++ b/common/makefiles/javadoc/Javadoc.gmk	Mon Jan 21 00:29:59 2013 -0500
@@ -269,6 +269,7 @@
 		-quiet					\
                 -use					\
                 -keywords				\
+                -Xprofilespath $(JDK_TOPDIR)/makefiles/profile-rtjar-includes.txt \
 		$(ADDITIONAL_JAVADOCFLAGS)
 
 ifdef OPENJDK