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 /doc/template.html | |
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 'doc/template.html')
-rw-r--r-- | doc/template.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/template.html b/doc/template.html index 6caf5a82bc3..9e07b55c44e 100644 --- a/doc/template.html +++ b/doc/template.html @@ -27,7 +27,7 @@ <div id="gtoc"> <ul> <li> - <a href="index.html" name="toc">Index</a> + <a href="index.html">Index</a> </li> <li> <a href="all.html">View on single page</a> |