Automatically set IDs and link production names in the Python script.
The first commit is a straight conversion with no change to the output. Subsequent commits:
Set the ID on the <pre> element rather than adding an empty <div>.
Don't link words in comments (e.g. ws-char in # Not followed by non-ws char).
Include parameters in the hyperlinks (though not in the IDs/hrefs).
This implementation also prints a warning if it links a rule that does not exist. The old implementation did this several times. Most of these were in comments that shouldn't have been linked, and that's fixed in this PR. However, flow-plain-scalar-character incorrectly refers to non-space-characters instead of non-space-character. That should be fixed in a separate PR.
This is marked as a spec change because of the three points listed above.
By submitting this pull request, I confirm that you can use, modify, copy, and
redistribute this contribution, under the terms of your choice.
Thom1729
commented
3 years ago
Automatically set IDs and link production names in the Python script.
The first commit is a straight conversion with no change to the output. Subsequent commits:
<pre>element rather than adding an empty<div>.ws-charin# Not followed by non-ws char).This implementation also prints a warning if it links a rule that does not exist. The old implementation did this several times. Most of these were in comments that shouldn't have been linked, and that's fixed in this PR. However,
flow-plain-scalar-characterincorrectly refers tonon-space-charactersinstead ofnon-space-character. That should be fixed in a separate PR.This is marked as a spec change because of the three points listed above.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.