p4-spec icon indicating copy to clipboard operation
p4-spec copied to clipboard

PDF version of the P4-16 lang spec leaves out the notes for nesting type rules

Open apinski-cavium opened this issue 4 years ago • 3 comments

There is a superscript marker for a note on a few of the fields in the nesting type rules table BUT the generated PDF does not have them anywhere to be found. The HTML has them but at the very end of the HTML file.

Both of these is not very useful when having a printed out version of the spec.

apinski-cavium avatar Jul 22 '21 00:07 apinski-cavium

Can you point at a particular section number & name, and a phrase that has such a superscript?

jfingerh avatar Jul 22 '21 13:07 jfingerh

Perhaps you mean the superscripts within both of the tables of Section 7.2.7 "Type nesting rules" ? I see that they are clickable links in the published HTML version, and while the superscript numbers show up in the PDF, and they seem like clickable links, they do not link to anything, and there is no text at the bottom of the PDF pages where they appear.

This might be a limitation or bug of the Madoko formatting system. If so, we should consider changing those from Madoko footnotes to simply some text like "See Note 1" and having paragraphs below the tables like "Note 1: blah blah ..."

jfingerh avatar Jul 22 '21 13:07 jfingerh

We should look to see what kind of latex it generates.

mihaibudiu avatar Dec 02 '21 02:12 mihaibudiu

In the interest of tidying up the set of active issues on the P4 specification repository, I'm marking this as "stalled" and closing it. Of course, we can always re-open it in the future if there is interest in resurrecting it.

jnfoster avatar Nov 11 '23 13:11 jnfoster