make/Javadoc.gmk
changeset 31567 626eeea487f8
parent 30416 6216eb71e929
child 33934 6f9053f5c978
--- a/make/Javadoc.gmk	Wed Jul 05 20:41:30 2017 +0200
+++ b/make/Javadoc.gmk	Mon Jul 13 09:29:01 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) ; \