On Wed, 18 Aug 2021 22:06:13 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a small (delete one character) change to improve the error > messages reported when bad HTML is detected when post-processing the output > from pandoc to generate the docs. > > The change is just to pass the filename as an argument to the command, > instead of just piping the input to stdin. As a result, the name of any file > containing bad input is reported in the message, instead of the message > simply referring to `<stdin>` This pull request has now been integrated. Changeset: 6d3d4795 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/6d3d47957ef03c90ed3b1cb7a48902366cd1bc27 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod 8272667: substandard error messages from the docs build Reviewed-by: darcy, iris ------------- PR: https://git.openjdk.java.net/jdk/pull/5175