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.

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

Build fixes and cleanup for Sphinx version 4 #722

Merged
merged 4 commits into from Jan 25, 2022

Conversation

acolomb
Copy link
Member

@acolomb acolomb commented Jan 24, 2022

This started as an exercise to get rid of warnings during the documentation build. Turns out the main cause for over 70 warnings is currently sphinx-doc/sphinx#10112 on Sphinx 4.4.0. A hot-fix release appears to be imminent to make them opt-in. Fixed the one legitimate warning from extlinks and some other linking issues along the way.

To possibly speed up the build / deployment process, limit the cloning depth for the docs-pre-rendered repo to 1, as everything else gets discarded anyway.

Limit the depth of cloning to one, as we're just interested in the
latest version of all files during deployment.
Follow most "broken" and "redirect" hints given by make linkcheck,
where it makes sense.

* https:// redirects
* go.dev domain redirects from older golang sites
* datatracker.ietf.org (from tools.ietf.org)
* www.foo.tld versus foo.tld redirects
* Cloudron demo site
* pypi.org redirect
* ind.ie served by small-tech.org (for pulse-swift)
* github.com/codabrink rename
* github.com/jastBytes rename
* removed salt-syncthing (dead on GitHub)
* removed susestudio.com (gone, project not migrated)
* other small fixes
@acolomb acolomb changed the title Build fixes and cleanup for Sphinx version 4. Build fixes and cleanup for Sphinx version 4 Jan 24, 2022
@calmh calmh merged commit 0e6bcab into syncthing:main Jan 25, 2022
@acolomb acolomb deleted the build-fixes-sphinx-4 branch January 25, 2022 21:51
@syncthing syncthing locked and limited conversation to collaborators Mar 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants