8006124: javadoc/doclet should be updated to support profiles
authorbpatel
Mon, 21 Jan 2013 00:29:59 -0500
changeset 15583 74d53e1f9364
parent 15075 e59f7038afb5
child 15584 83a66923c332
8006124: javadoc/doclet should be updated to support profiles Reviewed-by: jjg, dholmes
common/makefiles/javadoc/Javadoc.gmk
--- 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