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

Deadlinks #1647

Closed
azev77 opened this issue Jun 16, 2021 · 4 comments
Closed

Deadlinks #1647

azev77 opened this issue Jun 16, 2021 · 4 comments
Labels

Comments

@azev77
Copy link
Contributor

azev77 commented Jun 16, 2021

I submitted a few PRs w/ typos.

Note, most of the tutorial pages have an "Edit me" button with dead links.

Introduction to Turing gives the following dead link:
https://github.com/TuringLang/Turing.jl/edit/master/docs/src_tutorials/00_introduction.md

I believe they meant:
https://github.com/TuringLang/TuringTutorials/edit/master/tutorials/00-introduction/00_introduction.jmd

<a href="{{ site.repo }}/edit/master/docs/src{{ page.path | remove: "_docs"}}" title="Edit this page on github" class="social-link"><i class="fa fa-github fa-1x"></i> Edit me</a>

etc..

@azev77
Copy link
Contributor Author

azev77 commented Jun 16, 2021

Similarly on the home page (https://turing.ml/stable/) the Bayes NN tutorial gives a dead link:
https://turing.ml/dev/tutorials/3-bayesnn

It should give:
https://turing.ml/dev/tutorials/03-bayesian-neural-network/

@yebai
Copy link
Member

yebai commented Jun 16, 2021

many thanks, @azev77!

@cpfiffer Can you clarify which parts of docs have been moved to the new Turing docs repo? Any plan to removing these redundant docs?

@azev77
Copy link
Contributor Author

azev77 commented Jun 16, 2021

It would be great if there was a test or something that checked for dead links.
@tlienart implemented the following: JuliaLang/www.julialang.org#690

@tlienart
Copy link

tlienart commented Jun 17, 2021

broken link checker (npm) makes this very easy (not in CI but just as a check you run once every six months or so)

@yebai yebai added the doc label Mar 17, 2022
@yebai yebai closed this as completed Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants