OpenJDK / jdk / jdk
changeset 53228: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(),