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

Add documentation site with Docusaurus #58

Merged
merged 32 commits into from
Apr 26, 2024
Merged

Add documentation site with Docusaurus #58

merged 32 commits into from
Apr 26, 2024

Conversation

kris7t
Copy link
Contributor

@kris7t kris7t commented Apr 26, 2024

No description provided.

kris7t added 30 commits April 8, 2024 17:52
Also refactor Yarn buildscripts.
To speed up build, assume that yarn was already installed, since the build will
fail if it is not installed anyway.

Also change devault docs port to 3000 so that it can run simultaneously with the
editor frontend.
* Makes sure element IDs and CSS do not interfere with other diagrams in the
  same HTML document.
* Disables SVGO to allow embedding in Docusaurus with CSS intact.
* Replaces PNG figures with SVG in documentation.
Also adds responsive-loader support for images.
Copy link

@kris7t kris7t merged commit 2ef2233 into main Apr 26, 2024
13 checks passed
@kris7t kris7t deleted the docs branch April 26, 2024 18:49
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.

1 participant