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

Reviewed-by: erikj
openjdk · Jan 9, 2019 · a5d9aef · a5d9aef
1 parent 11b29c8
commit a5d9aef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make/scripts/pandoc-html-manpage-filter.js b/make/scripts/pandoc-html-manpage-filter.js
@@ -86,7 +86,7 @@ function MetaInlines(value) {
 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(),