Skip to content

Wrong link to docs from main web page #10642

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
prolativ opened this issue Dec 4, 2020 · 3 comments · Fixed by #10682
Closed

Wrong link to docs from main web page #10642

prolativ opened this issue Dec 4, 2020 · 3 comments · Fixed by #10682
Assignees
@romanowski
Labels
itype:bug prio:high

Comments

@prolativ
Copy link
Contributor

prolativ commented Dec 4, 2020

When at https://dotty.epfl.ch/index.html clicking Docs in the top right corner of the screen does not open the docs page
@nicolasstucki
Copy link
Contributor

The docs can be accessed directly at http://dotty.epfl.ch/docs/

@prolativ
Copy link
Contributor Author

prolativ commented Dec 4, 2020

Yes but you need to know the link first. I guess it's not the case for people who would like to just get started with the language

@nicolasstucki
Copy link
Contributor

I just meant it as a workaround while it gets fixed

@nicolasstucki nicolasstucki linked a pull request Dec 7, 2020 that will close this issue
Correctly link to docs from index page #10682
Merged
@nicolasstucki nicolasstucki mentioned this issue Dec 7, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@romanowski romanowski

Labels
itype:bug prio:high
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Correctly link to docs from index page romanowski/dotty
3 participants
@nicolasstucki @romanowski @prolativ