Skip to content

[MNT]: Run docs CI build with O=-Dmissing_references_write_json=1 and print out missing_references.json #25725

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
Open
anntzer opened this issue Apr 19, 2023 · 0 comments
Open

[MNT]: Run docs CI build with O=-Dmissing_references_write_json=1 and print out missing_references.json #25725

anntzer opened this issue Apr 19, 2023 · 0 comments
Labels
Documentation Maintenance

Comments

@anntzer
Copy link
Contributor

anntzer commented Apr 19, 2023

Summary

The docs CI build could be run with O=-Dmissing_references_write_json=1 and missing_references.json could always be printed out (as a separate build step, regardless of sphinx success), which would make it easier to regen the file when needed even when building the docs locally is tricky (#25724 or #11079 (comment)).

Proposed fix

No response
@tacaswell tacaswell added this to the v3.8.0 milestone Apr 19, 2023
@ksunden ksunden removed this from the v3.8.0 milestone Sep 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Documentation Maintenance
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@tacaswell @anntzer @ksunden