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

Regenerate site #1119

Open
wants to merge 2 commits into
base: gh-pages
Choose a base branch
from
Open

Regenerate site #1119

wants to merge 2 commits into from

Conversation

mwz
Copy link
Contributor

@mwz mwz commented Jan 17, 2025

I've regenerated the site manually using the latest version from main as it hasn't been updated in 4 years.

The only thing that doesn't work is the links to edit docs source files, which I can't quite figure out how to set up correctly in paradox, but they currently don't work anyway, so this is still an improvement over the existing version.

Would it make sense to move this site to sbt-typelevel-site and automate the deployments?

@kubukoz
Copy link
Member

kubukoz commented Jan 20, 2025

Would it make sense to move this site to sbt-typelevel-site and automate the deployments?

imo yes, I may not like the style but at least it'd be one thing less to maintain :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants