Merge
authoramurillo
Tue, 14 Jul 2015 16:29:07 -0700
changeset 31579 cf808b157b5e
parent 31567 626eeea487f8 (diff)
parent 31578 3736bed37826 (current diff)
child 31580 d12241cf1730
Merge
--- a/make/Javadoc.gmk	Thu Jul 09 22:46:15 2015 -0700
+++ b/make/Javadoc.gmk	Tue Jul 14 16:29:07 2015 -0700
@@ -410,7 +410,8 @@
 	$(prep-target)
 	@($(call COMMON_JAVADOCFLAGS) ; \
           $(call COMMON_JAVADOCTAGS) ; \
-          $(call OptionOnly,-Xdoclint:none) ; \
+          $(call OptionOnly,-Xdoclint:reference) ; \
+          $(call OptionOnly,-Xdoclint/package:-org.omg.*) ; \
 	  $(call OptionPair,-sourcepath,$(RELEASEDOCS_SOURCEPATH)) ; \
 	  $(call OptionPair,-encoding,ISO-8859-1) ; \
 	  $(call OptionOnly,-splitIndex) ; \