-
@TChihMath @siwelwerd All the diagram generation is #PreTextGang black magic: our nice CLI interface calls some core Pretext Python scripts that scrape the XML for Tikz, inject them into Latex, build PDFs, then convert to SVG.
-
@TChihMath @siwelwerd So yeah you could build a custom build script that turns your Tikz into PDF→SVG by way of the standalone Latex package.