Jan,
I did however notice that the extra processing time to increase the
resolution of the image and then scale it back is pretty significant.
Granted you get a little better image, is it worth the long build
times? The output device for html after all is only 100 dpi at best,
whereas the hard copy output is 300+ dpi. In other words I use HTML
documentation as a quick reference and as long as it is of reasonable
Maybe you can attribute it to my ray-tracing background, but I just
hate jaggies.
--
Han-Wen Nienhuys, [EMAIL PROTECTED] ** GNU LilyPond - The Music Typesetter
http://www.cs.uu.nl/people/hanwen/lilypond/index.html
