hg: jdk/sandbox: 2 new changesets

[chris.hegarty at oracle.com]

Changeset: 26e2cfebcfba
Author:    ihse
Date:      2018-12-11 15:18 +0100
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/26e2cfebcfba

8214720: Add pandoc filter to improve html man page output
Reviewed-by: erikj
Contributed-by: magnus.ihse.bursie at oracle.com, jonathan.gibbons at oracle.com

! make/CompileToolsJdk.gmk
! make/Docs.gmk
! make/ToolsJdk.gmk
! make/launcher/LauncherCommon.gmk
+ make/scripts/pandoc-html-manpage-filter.js
+ make/scripts/pandoc-html-manpage-filter.sh.template
- make/scripts/pandoc-manpage-filter.js
- make/scripts/pandoc-manpage-filter.sh.template
+ make/scripts/pandoc-troff-manpage-filter.js
+ make/scripts/pandoc-troff-manpage-filter.sh.template

Changeset: a430555c3d4e
Author:    ihse
Date:      2018-12-11 15:21 +0100
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/a430555c3d4e

8215131: Pandoc 2.3/build documentation fixes
Reviewed-by: erikj

! doc/building.html
! doc/building.md
! doc/testing.html
! make/common/ProcessMarkdown.gmk