RFR: XXS: JDK-8215308: pandoc-html-manpage-filter.js does not work for [un]pack200

[Jonathan Gibbons]

Please review a small edit to a regular expression used to detect the 
name of a tool in a man page.

Here's the inline version of the patch:

$ hg diff -R open
diff -r 28ec06beb091 make/scripts/pandoc-html-manpage-filter.js
--- a/make/scripts/pandoc-html-manpage-filter.js Tue Jan 08 13:04:04 
2019 -0800
+++ b/make/scripts/pandoc-html-manpage-filter.js Tue Jan 08 14:03:09 
2019 -0800
@@ -86,7 +86,7 @@
  function change_title(type, value) {
      if (type === 'MetaInlines') {
          if (value[0].t === 'Str') {
- var match = value[0].c.match(/^([A-Z]+)\([0-9]+\)$/);
+ var match = value[0].c.match(/^([A-Z0-9]+)\([0-9]+\)$/);
              if (match) {
                  return MetaInlines([
                          Str("The"), Space(),


-- Jon

JBS: https://bugs.openjdk.java.net/browse/JDK-8215308
Webrev: http://cr.openjdk.java.net/~jjg/8215308/webrev.00/