Closed jklr closed 4 years ago
This PR also removes the PDF files of the latest draft. MDK files are the true ground truth of the latest master version.
https://github.com/p4lang/p4lang.github.io/pull/503 => this PR accordingly points the spec drafts to .MDK files instead of PDF.
The GPE shim change was already pre-discussed with @mickeyspiegel. Merging it.
This PR also removes the PDF files of the latest draft. MDK files are the true ground truth of the latest master version.
https://github.com/p4lang/p4lang.github.io/pull/503 => this PR accordingly points the spec drafts to .MDK files instead of PDF.