diff --git a/make/docs/Makefile b/make/docs/Makefile index 960c99947f3614663af4bb17d8538ef33f54756a..98bf18b76da85b45971e2d10c8676f78b2d3a232 100644 --- a/make/docs/Makefile +++ b/make/docs/Makefile @@ -190,7 +190,6 @@ $(call CopyrightLine,$(COPYRIGHT_URL),$(FIRST_COPYRIGHT_YEAR),)\ # Common javadoc options used by all COMMON_JAVADOCFLAGS = \ $(NO_PROPRIETARY_API_WARNINGS) \ - -source 1.5 \ -quiet \ -use \ -keywords \