RFR: JDK-8275786: New javadoc option to add script files to generated documentation [v2]

[Hannes Wallnöfer]

> JDK-8275786: New javadoc option to add script files to generated documentation

Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:

  Moved declaration and added a comment

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/6173/files
  - new: https://git.openjdk.java.net/jdk/pull/6173/files/3887ed0a..42832379

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=6173&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=6173&range=00-01

  Stats: 3 lines in 1 file changed: 2 ins; 1 del; 0 mod
  Patch: https://git.openjdk.java.net/jdk/pull/6173.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/6173/head:pull/6173

PR: https://git.openjdk.java.net/jdk/pull/6173