httpgd
httpgd copied to clipboard
how to run just background rendering?
If I wanted to run the auto rendering/saving without hosting a web server for easier browsing, how would I go about doing that? Due to #215, I'd like to be able to use the auto generation to PDFs without the potential for running a server that can hang the REPL.