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.
