search

p4lang / p4runtime

Specification documents for the P4Runtime control-plane API
Apache License 2.0
140 stars 86 forks source link

Undefined Madoko cross-reference #410

Closed jafingerhut closed 1 year ago

jafingerhut commented 1 year ago

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.

chrispsommers commented 1 year ago

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.

chrispsommers commented 1 year ago

https://github.com/p4lang/p4runtime/pull/427