Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

tools,doc: avoid generating duplicate id attributes #41291

Closed
wants to merge 2 commits into from
Closed

tools,doc: avoid generating duplicate id attributes #41291

wants to merge 2 commits into from

Commits on Dec 23, 2021

  1. doc: remove legacy in-page links in v8.md 

    Use autogenerated id attributes.
    @Trott
    Trott committed Dec 23, 2021
    Copy the full SHA
    4f2b049 View commit details
    Browse the repository at this point in the history

  2. tools: avoid generating duplicate id attributes 

    In all.html, we currently generate hundreds of duplicate id attributes
because of conflicts between the way allhtml.mjs prefixes in-page links
with the module name on the one hand, and the existence of legacy id
attributes hardcoded into the page on the other hand.

This prefaces the module name with `all_` to avoid the conflicts.
    @Trott
    Trott committed Dec 23, 2021
    Copy the full SHA
    d26a936 View commit details
    Browse the repository at this point in the history