Skip to content

Dotty docs not found #14470

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
odersky opened this issue Feb 13, 2022 · 1 comment · Fixed by #14475
Closed

Dotty docs not found #14470

odersky opened this issue Feb 13, 2022 · 1 comment · Fixed by #14475
Assignees
@pikinier20
Labels
area:documentation stat:needs triage Every issue needs to have an "area" and "itype" label
Milestone
3.1.3

Comments

@odersky
Copy link
Contributor

odersky commented Feb 13, 2022

If I google for "dotty docs" I get the link dotty.epfl.ch/docs and if I click on this I get a 404.

We need to revert the refactoring that makes pervious common links go nowhere.
@odersky odersky added the stat:needs triage Every issue needs to have an "area" and "itype" label label Feb 13, 2022
@griggt
Copy link
Contributor

griggt commented Feb 13, 2022

Related: #14378 (comment)

@pikinier20 pikinier20 mentioned this issue Feb 14, 2022
Merged
@griggt griggt mentioned this issue Feb 15, 2022
Closed
@Kordyjan Kordyjan added this to the 3.1.3 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pikinier20 pikinier20

Labels
area:documentation stat:needs triage Every issue needs to have an "area" and "itype" label
Projects
None yet
Milestone
3.1.3
Development

Successfully merging a pull request may close this issue.

Scaladoc: Repair links dotty-staging/dotty
4 participants
@odersky @Kordyjan @griggt @pikinier20