<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Dec 18, 2012, at 9:11 AM, Jordan Rose <<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>> wrote:</div><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Dec 17, 2012, at 18:41 , John McCall <<a href="mailto:rjmccall@apple.com">rjmccall@apple.com</a>> wrote:</div><blockquote type="cite">On Dec 16, 2012, at 3:32 AM, Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com">gribozavr@gmail.com</a>> wrote:<br><blockquote type="cite">On Sun, Dec 16, 2012 at 2:38 AM, Sean Silva <<a href="mailto:silvas@purdue.edu">silvas@purdue.edu</a>> wrote:<br><blockquote type="cite">This completely breaks the front page toctree structure since each of<br>the "sections" of this document appear as top-level entities there (I<br>already fixed it to use the correct adornments in r170278.<br><br>My recommendation is to show the title with over+under ====== instead<br>of '.. title::', kill the `.. sectnum::` , and explicitly show the<br>`[foo.bar]` "human-readable" section names in the section titles.<br>Automatic numbering is extremely brittle anyway (from the perspective<br>of citing the document) since adding or removing a section will change<br>all the numbers (that's why the "human readable" identification<br>exists, I presume). Maybe add the section numbering back with some JS<br>like the original document did or with CSS<br>(<<a href="http://dev.opera.com/articles/view/automatic-numbering-with-css-counters/">http://dev.opera.com/articles/view/automatic-numbering-with-css-counters/</a>>).<br></blockquote><br>CSS section numbering introduced in r170283, thanks for the idea!<br><br>@John:<br>The ARC document contains human-readable section names (like<br>meta.purpose, objects.operands.consumed etc.) Is it OK to put them at<br>the end of section titles?<br></blockquote><br>The intent is for them to be stable links. I don't see much purpose<br>in otherwise exposing them to users.<br></blockquote></div><br><div>Citation, a la the C++ standard? I can understand if we don't care in this case (the ARC document is much more compact, and the paragraphs aren't numbered), but it's not as if there's <i>no</i> use.</div></div></blockquote></div><br><div>The standard's online; my thinking was that they can link to the appropriate</div><div>section as part of the citation.</div><div><br></div><div>I would prefer that the names not show up in the user-visible document.</div><div><br></div><div>John.</div><div><br></div></body></html>