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

Complete anchors/headings with data from Webref #2426

Merged
merged 2 commits into from
Dec 19, 2022
Merged

Complete anchors/headings with data from Webref #2426

merged 2 commits into from
Dec 19, 2022

Commits on Dec 15, 2022

  1. Complete anchors/headings with data from Webref 

    This completes the update mechanism that produces the cross-references anchors
and headings to also use data from Webref. To keep changes minimal and avoid
introducing possibly conflicting anchors and headings here and there, data from
Webref is only used for specs that are not in Shepherd's database.

In practice, this adds definitions and headings from 267 specifications (~60 of
which only have headings), generating ~3.5MB of anchors data and ~5.2MB of
headings data.
    @tidoust
    tidoust committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    6812e58 View commit details
    Browse the repository at this point in the history

  2. Lint code

    @tidoust
    tidoust committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    5086672 View commit details
    Browse the repository at this point in the history