hg: jdk/jdk: 8227416: Add a "Table Of Contents" to HTML version of man pages

[jonathan.gibbons at oracle.com]

Changeset: 45fc36beb0aa
Author:    jjg
Date:      2019-07-10 16:23 -0700
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/45fc36beb0aa

8227416: Add a "Table Of Contents" to HTML version of man pages
Reviewed-by: mchung

! make/Docs.gmk
! make/data/docs-resources/resources/jdk-default.css
! make/jdk/src/classes/build/tools/fixuppandoc/Main.java