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/
>