Skip to content

Conversation

@cdoublev
Copy link
Collaborator

@cdoublev cdoublev commented Sep 5, 2023

This PR adds a .prod class name to the <pre> containing the production rule of <family-name>.

As commented in its code, w3c/reffy extracts a production rule if it is contained in a <pre class=prod> of if its left hand side is contained in a <dfn>:

<pre class=prod><foo> = bar</pre>
<pre><dfn><foo></dfn> = bar</pre>

@w3cbot
Copy link

w3cbot commented Sep 5, 2023

svgeesus marked as non substantive for IPR from ash-nazg.

@svgeesus svgeesus merged commit eb9028e into w3c:main Sep 5, 2023
@cdoublev cdoublev deleted the patch-3 branch September 5, 2023 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants