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

move diagrams out of doc directory #130

Open
dlech opened this issue Dec 19, 2022 · 1 comment
Open

move diagrams out of doc directory #130

dlech opened this issue Dec 19, 2022 · 1 comment

Comments

@dlech
Copy link
Member

dlech commented Dec 19, 2022

Since not all generated diagrams are used for just the docs anymore, it would be nice to move docs/main/diagrams_source to a top-level directory (I can never remember where to find it). Also, any generated diagrams not used by the docs could be placed in the appropriate place, like npm/images.

@laurensvalk
Copy link
Member

When we do this, we could consider exporting the optimized SVG instead of PNG.

And when we do that, maybe it’s worth having a fresh look to see if Sphinx can handle those too.

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

No branches or pull requests

2 participants