Skip to content

Conversation

@oskgo
Copy link
Collaborator

@oskgo oskgo commented Feb 7, 2025

Making no decisions about static site generators, instead hosting the markdown documents on github, which lets the links work without any additional tooling.

The website now links to the top level document on github instead.

Embedding external files cannot be done in pure markdown, so that will rely on the specific static site generator we decide to use. This means that the code examples have been removed from the markdown for now.

This makes it possible to merge #2

@oskgo oskgo changed the title MVP MVP for multi-document documentation Feb 7, 2025
@fdupress
Copy link
Member

fdupress commented Feb 7, 2025

Please just merge—or even push straight to main. The lower the barrier, the more contributors.

@oskgo
Copy link
Collaborator Author

oskgo commented Feb 7, 2025

I don't have the permissions.

@strub
Copy link
Member

strub commented Feb 7, 2025

This can be fixed :) I assume you are not the only one.

@strub
Copy link
Member

strub commented Feb 7, 2025

You should now have an invitation

@oskgo oskgo merged commit ce127ea into EasyCrypt:main Feb 7, 2025
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.

3 participants