Add option to render to PDF
Maybe it should even be the default.
As suggested by @99-not-out
Big question: does GitHub support visual diffing of PDFs in PRs? If so, PDF could be the default output format. If not, then probably not.
Big question: does GitHub support visual diffing of PDFs in PRs?
According to GitHub, PDF is not listed in the formats used for diffs.
Super helpful, thanks Mike!
#214, which added support for rendering diagrams to SVG (in addition to PNG) was recently merged (and released); this should be a solid building block for adding PDF as an output format.
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.