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

Fix broken docs.rs links in documentation #130

Merged
merged 1 commit into from
Aug 17, 2024

Conversation

paul-hansen
Copy link
Contributor

PR Info

Closes #129

Changes

Fixed broken docs.rs links in documentation

@paul-hansen
Copy link
Contributor Author

paul-hansen commented Aug 17, 2024

@tyt2y3 Do you know if I should update the same links in the affected versioned_docs too? Not sure if there's something used to generate those or something.

@tyt2y3
Copy link
Member

tyt2y3 commented Aug 17, 2024

ah, you're right! since it's broken since 0.7 (I guess?) we can edit every version after it.
sadly there is no tool to edit the old versions, they're archives after all.
good enough for now!

@tyt2y3 tyt2y3 merged commit c6961e2 into SeaQL:master Aug 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Broken links on documentation pages
2 participants