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.

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

Move actual docs to lf-lang main repo #306

Open
axmmisaka opened this issue Feb 18, 2025 · 1 comment
Open

Move actual docs to lf-lang main repo #306

axmmisaka opened this issue Feb 18, 2025 · 1 comment
Labels
enhancement New feature or request help wanted Extra attention is needed wontfix This will not be worked on

Comments

@axmmisaka
Copy link
Collaborator

This was something we thought about a while ago.

MDX Docs will be version-controlled along with lf-lang repo to ensure they are up-to-date. This website checks out docs from the repo with different tags and builds website from time to time with these docs, without containing any actual document.

Should we still proceed along this route?
@axmmisaka axmmisaka added enhancement New feature or request help wanted Extra attention is needed labels Feb 18, 2025
@axmmisaka axmmisaka changed the title Move docs to lf-lang main repo Move actual docs to lf-lang main repo Feb 18, 2025
@lhstrh
Copy link
Member

lhstrh commented Feb 20, 2025

Not sure it is a priority, honestly... What we have has worked pretty well, so I'm not sure it's worth the time investment.

@axmmisaka axmmisaka added the wontfix This will not be worked on label Feb 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@axmmisaka @lhstrh