process @xml:id
wherever the output of a <list> is generated
#617
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I am hoping this fixes #616 …
Relatively minor update to html/html_core.xsl: Just added a call to process the
@xml:id
attribute to each of the possible output elements generated for<list>
. Just chose one when two elements were generated (despite my comment on the ticket : -).My main surprise is that the tests all seemed to pass on my system. I would have expected diff errors when a test input file had a
<list xml:id="DUCK">
whose output used to be<ul>
but is now<ul id="DUCK">
. Harumph.