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

[Erik Joelsson]

Looks good.

/Erik

On 2019-01-08 23:11, Jonathan Gibbons wrote:

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/