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

Generate protocol graphs using typed-protocols-docs #4804

Open
coot opened this issue Feb 12, 2024 · 0 comments
Open

Generate protocol graphs using typed-protocols-docs #4804

coot opened this issue Feb 12, 2024 · 0 comments
Labels
documentation Network Documentation related tasks

Comments

@coot
Copy link
Contributor

coot commented Feb 12, 2024

This requires input-output-hk/typed-protocols#47. dot2tex can be used to convert dot files to LaTeX. It can use tikz, so the quality of the rendered graphs should be quite good.
@coot coot added the documentation Network Documentation related tasks label Feb 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Network Documentation related tasks
Projects
Ouroboros Network
Status: No status
Milestone
No milestone
Development

No branches or pull requests
1 participant
@coot