We'd love to have an additional renderer for Scribble.
On Apr 21, 2015, at 7:05 AM, Neil Van Dyke <n...@neilvandyke.org> wrote: > Gour wrote on 04/21/2015 06:50 AM: >> >>> Another way to get to lots of different formats from Scribble would be >>> to make Scribble generate more-plain HTML5 (i.e., less tag-heavy than in >>> its normal HTML output, throwing away a lot of the info), and then use >>> that as a source format for other converters. >> Is there any plan to officially adopt such a thing? > > Good question. Maybe someone on the list can answer. > > (If you had to do it yourself, even just copying and modifying the existing > HTML-generating code would work. Or writing a post-processor using the > html-parsing and html-writing packages. But maybe there's a better way.) > > Neil V. > > -- > 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. -- 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.
