# HG changeset patch
# User jjg
# Date 1501869568 25200
# Node ID 2937d486bb2eaf7eea007758c76e4edf3dcbb0d1
# Parent  3739654290616e533fc6f51bf9ad69ed47a6abba
8185752: update javadoc options in make/Docs.gmk
Reviewed-by: tbell

diff -r 373965429061 -r 2937d486bb2e make/Docs.gmk
--- a/make/Docs.gmk	Thu Aug 24 16:34:07 2017 +0200
+++ b/make/Docs.gmk	Fri Aug 04 10:59:28 2017 -0700
@@ -101,9 +101,9 @@
 JAVADOC_DISABLED_DOCLINT := accessibility html missing syntax reference
 
 # The initial set of options for javadoc
-JAVADOC_OPTIONS := -XDignore.symbol.file=true -use -keywords -notimestamp \
-    -serialwarn -encoding ISO-8859-1 -breakiterator -splitIndex --system none \
-    -html5 -javafx --expand-requires transitive
+JAVADOC_OPTIONS := -use -keywords -notimestamp \
+    -serialwarn -encoding ISO-8859-1 -docencoding UTF-8 -breakiterator \
+    -splitIndex --system none -html5 -javafx --expand-requires transitive
 
 # Should we add DRAFT stamps to the generated javadoc?
 ifeq ($(VERSION_IS_GA), true)