stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Jonathan Gibbons 2019-01-09 08:49:26 -08:00
parent 11b29c8de1
commit a5d9aef93a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make/scripts/pandoc-html-manpage-filter.js
View File

@ -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(),