hg: jdk/jdk: 8214720: Add pandoc filter to improve html man page output

[magnus.ihse.bursie at oracle.com]

Changeset: 26e2cfebcfba
Author:    ihse
Date:      2018-12-11 15:18 +0100
URL:       http://hg.openjdk.java.net/jdk/jdk/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