Undefined Madoko cross-reference
jafingerhut opened this issue · comments
In P4Runtime-Spec.mdk there is a cross reference #wildcard-reads that is undefined.
There is one section with a label of #sec-wildcard-reads and another with a label of #sec-table-wildcard-reads, and I suspect the cross-reference should be to one of those, but I am not sure which of those two it was intended to be.
Hi @jafingerhut I looked through the spec, I believe this should link to this section:
## Wildcard Reads { #sec-wildcard-reads} at line 5233
The above section in turn makes a general comment about referring to entity message details such as #sec-table-wildcard-reads as an example.
Would you like to volunteer to submit a PR to fix the link? Thx.