Skip to content

dotty.epfl.ch/docs should provide option to pick up a version that is documented #12524

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

Open
romanowski opened this issue May 19, 2021 · 1 comment · Fixed by #12596
Open
Assignees
Milestone

Comments

@romanowski
Copy link
Contributor

Currently dotty.epfl.ch/docs hosts documentation for latest version of the language. This made a lof of sense before 3.0.0 but now, default documentation should indicate that is applicable for stable version and have option to browse documentation and api for current snapshot or older versions.

The most obvious solution may be to host documentation for 3.0.0 (at least one that is marked for 3.0.0) and have an option (dropdown?) to pick latest snapshot or some older version.

We should consider that releases are immutable but documentation is often changed/improved after the release so solution should allow to update the documentation after the release of given version without too much maintenance overhead

@ckipp01
Copy link
Member

ckipp01 commented May 14, 2023

Screenshot 2023-05-14 at 14 21 07

@romanowski am I assuming correctly that this can be closed now that we do have a dropdown allowing users to go from nightly to stable and vice versa?

@Kordyjan Kordyjan added this to the 3.0.2 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment