Details
-
Bug
-
Resolution: Fixed
-
P3
-
12
-
b28
Backports
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8216457 | 13 | Jonathan Gibbons | P3 | Resolved | Fixed | b03 |
JDK-8217069 | 12.0.1 | Jonathan Gibbons | P3 | Resolved | Fixed | b03 |
Description
The javascript filter in pandoc-html-manpage-filter.js does not work properly for unpack200.md or pack200.md. (An educated guess is that it will not work for any man page with numbers in the name.)
Attachments
Issue Links
- backported by
-
JDK-8216457 pandoc-html-manpage-filter.js does not work for [un]pack200
-
- Resolved
-
-
JDK-8217069 pandoc-html-manpage-filter.js does not work for [un]pack200
-
- Resolved
-