diff options
| author | Rich Trott <rtrott@gmail.com> | 2020-08-23 22:26:41 +0300 |
|---|---|---|
| committer | Rich Trott <rtrott@gmail.com> | 2020-08-26 17:31:45 +0300 |
| commit | 4332f738326d9a067d859ef86e78fadeb95f1b2c (patch) | |
| tree | 821cdff578c983bbb9140f0a077b1be547ee6814 /src | |
| parent | 8134c6468c1043be0b866cd9521006a83eedfa3d (diff) | |
tools,doc: remove "toc" anchor name
The _name_ attribute is obsolete. Changing it to _id_ in the case of
"toc" would result in a conflict with an existing id. However, there are
no links to "#toc" in our docs. And if there were, it would be more
appropriate to link to the id toc which is the toc for the individual
documents. So remove the anchor name entirely.
PR-URL: https://github.com/nodejs/node/pull/34893
Reviewed-By: Benjamin Gruenbaum <benjamingr@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Franziska Hinkelmann <franziska.hinkelmann@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions