update javadoc options in make/Docs.gmk

XMLWordPrintable

    • b19

      1. The default JAVADOC_OPTIONS specify an input encoding (-encoding ISO-8859-1) but do not specify an output encoding, which should be UTF-8 for HTML5 documents. The options should include -docencoding UTF-8


      2. The default JAVADOC_OPTIONS include -XDignore.symbol.file=true which is no longer relevant in a modular world. Although harmless, it should be removed.

            Assignee:
            Jonathan Gibbons
            Reporter:
            Jonathan Gibbons
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: