changeset 54288:e7738fd1c974

8215308: pandoc-html-manpage-filter.js does not work for [un]pack200 Reviewed-by: erikj
author jjg
date Wed, 09 Jan 2019 08:49:26 -0800
parents f15d443f9731
children 76a4b08fdf59
files make/scripts/pandoc-html-manpage-filter.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/scripts/pandoc-html-manpage-filter.js	Wed Jan 09 11:13:00 2019 -0400
+++ b/make/scripts/pandoc-html-manpage-filter.js	Wed Jan 09 08:49:26 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(),