[racket] Generating svg-images rather than png-images from Scribble

2013/10/15 Robby Findler <robby at eecs.northwestern.edu>:
> Oh, and another thought: it appears that the 2htdp/image documentation just
> went from 4 megs to 15 megs (of space on the disk) with the change to SVG.
> It looks like there are just two images that account for nearly 10 megs,
> tho. So I could switch just those back to being pngs and that would make a
> big difference in the size. So maybe we also need finer-grained support to
> override the defaults in a few places?
>
> Or is there support for zipping them somehow? That appears to get a 10x
> improvement for one of the big ones.

I searched a bit for compression for svg files, but there does not seem
to a be a "zipped svg" format. The web server can use gzip compression when
serving them, but that doesn't help with the offline documentation.

/Jens Axel