8006124: javadoc/doclet should be updated to support profiles
Reviewed-by: jjg, dholmes
--- a/jdk/make/docs/Makefile Wed Jan 16 23:08:12 2013 -0800
+++ b/jdk/make/docs/Makefile Mon Jan 21 00:31:34 2013 -0500
@@ -1,4 +1,4 @@
-# Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved.
+# Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
#
# This code is free software; you can redistribute it and/or modify it
@@ -207,6 +207,7 @@
-quiet \
-use \
-keywords \
+ -Xprofilespath $(JDK_TOPDIR)/makefiles/profile-rtjar-includes.txt \
$(ADDITIONAL_JAVADOCFLAGS)
ifdef OPENJDK