Exports your Draw.io diagrams at build time for easier embedding into your documentation
A Python library for programmatically generating Draw.io charts.
