Skip to content
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

Manual aliases discovery UI #2433

Open
cuihtlauac opened this issue May 16, 2024 · 1 comment
Open

Manual aliases discovery UI #2433

cuihtlauac opened this issue May 16, 2024 · 1 comment
Labels
enhancement New feature or request manual ui

Comments

@cuihtlauac
Copy link
Collaborator

cuihtlauac commented May 16, 2024

Currently, there are no means to discover the latest, lts and no version URLs to the manuals:

#534 (comment)

@cuihtlauac cuihtlauac added enhancement New feature or request ui manual labels May 16, 2024
@cuihtlauac cuihtlauac changed the title Manual aliases UI discovery Manual aliases discovery UI May 16, 2024
@sabine
Copy link
Collaborator

sabine commented May 16, 2024

this needs to be done in https://github.com/ocaml/ocaml since that's where the UI is generated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request manual ui
Projects
Status: 📋 Backlog
Development

No branches or pull requests

2 participants