In case anyone else needs this and wasn't looking at that other thread with an unrelated subject:
I made a little scribble library to do code highlighting through pygmentize in a way that supports multiple backend renderers. https://github.com/wilbowma/scribble-minted Supports PDF, LaTeX, and HTML renderers. (Probably not hard to make it support text and markdown, but I don't really need those right now.) It's probably a bit fragile. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.