Broken links in dotty.epfl.ch #18285

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

Closed

nicolasstucki opened this issue Jul 25, 2023 · 0 comments · Fixed by #18465

Assignees

Labels

area:doctool area:documentation itype:bug

Contributor

nicolasstucki commented Jul 25, 2023

Links in Table of Contents of https://dotty.epfl.ch/ are broken.

nicolasstucki added itype:bug area:documentation area:doctool labels

nicolasstucki changed the title ~~Broken links in dotty.epfl.ch/~~ Broken links in dotty.epfl.ch

nicolasstucki mentioned this issue

Bad url link on dotty.epfl.ch/index.html #18444

Closed

nicolasstucki assigned Florian3k

Florian3k mentioned this issue

Fix link resolving in scaladoc and fix invalid links in docs #18465

Merged

nicolasstucki closed this as completed in #18465

nicolasstucki added a commit that referenced this issue


          Fix link resolving in scaladoc and fix invalid links in docs (#18465)

c58f9f6

This PR combines #17099 changes with previous link resolver, which fixes
#18285, #18444 and brings down `Unable to resolve link` warnings from 81
to 7.
4 more links are fixed manually in `.md` files, which leaves us with 3
warnings.
Those 3 are references to source code inside `scaladoc.md`:

https://github.com/lampepfl/dotty/blob/45f633d0667c702fa75efcfda91b434bb72f04dc/docs/_docs/contributing/scaladoc.md?plain=1#L77-L87
Those won't work online anyway (unless we link to github), so we might
want change them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment