2 ms·
extraction not imho. but the usual tools are pic (for diagrams) and grap (for graphs), as linked from here: http://n-t-roff.github.io/heirloom/doctools.html ht
by rurban 5y ago
extraction not imho.
but the usual tools are pic (for diagrams) and grap (for graphs), as linked from here: http://n-t-roff.github.io/heirloom/doctools.html http://n-t-roff.github.io/heirloom/doctools.html
this is the manual https://pikchr.org/home/uv/pic.pdf https://pikchr.org/home/uv/pic.pdf
I've also used postscript for extreme usages, the doctools can also include ps verbatim.