8f6cb555ee
If we have embedded an anchor in our source text that gives a human readable name to a section header, the generated table of contents shown at the top of the document should use that anchor rather than a sequentially generated one. This makes the anchor more stable for long term linking, in case sections are added or removed. Signed-off-by: Shawn O. Pearce <sop@google.com> |
||
---|---|---|
.. | ||
toc.js |