Skip to content

Website has broken links #8133

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 Jan 30, 2020 · 1 comment
Closed

Website has broken links #8133

nicolasstucki opened this issue Jan 30, 2020 · 1 comment
Assignees
@anatoliykmetyuk @nicolasstucki
Labels
area:documentation itype:bug prio:high
Milestone
0.22 Tech Preview

Comments

@nicolasstucki
Copy link
Contributor

Fix paths in website

See comments in #8131
@nicolasstucki nicolasstucki added this to the 0.22 Tech Preview milestone Jan 30, 2020
@nicolasstucki
Copy link
Contributor Author

nicolasstucki commented Jan 30, 2020 •
edited
Loading

Maybe we just need to change https://github.com/lampepfl/dotty/pull/8131/files#diff-ac6f3e6b9df6db254fcf9157bda13685R50 with

val baseUrl = "/"

@nicolasstucki nicolasstucki self-assigned this Jan 30, 2020
nicolasstucki added a commit that referenced this issue Jan 30, 2020
@nicolasstucki
Merge pull request #8134 from dotty-staging/fix-#8133
147bfa4 
Fix #8133: Fix base URL of non snapshot site
@nicolasstucki nicolasstucki mentioned this issue Jan 30, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@anatoliykmetyuk anatoliykmetyuk

@nicolasstucki nicolasstucki

Labels
area:documentation itype:bug prio:high
Projects
None yet
Milestone
0.22 Tech Preview
Development

No branches or pull requests
2 participants
@anatoliykmetyuk @nicolasstucki