changeset 608:b4eb1753c80f

Up the resolution of the web graphics. This will result in increased image size, on the order of 18k->32k, but I'm fed up with the blurriness of the current images. Ideally I'd move to SVG for the web images, but Mick reckons that SVG support on mobile browsers is still limited. Suspect he's probably right.
author Jim Hague <jim.hague@acm.org>
date Fri, 04 Nov 2016 23:31:40 +0000
parents d5357ee6b4b2
children ac7d039116c4
files makeWebGraphics.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/makeWebGraphics.sh	Fri Nov 04 22:41:57 2016 +0000
+++ b/makeWebGraphics.sh	Fri Nov 04 23:31:40 2016 +0000
@@ -25,8 +25,8 @@
     do
         name=`basename $filename .abc`
         tmpname=${name}.tmp
-        convert -density 96 $graphicsdir/${name}.pdf $builddir/${tmpname}.png
-        convert -density 96 $graphicsdir/firstline-${name}.pdf $builddir/firstline-${tmpname}.png
+        convert -colors 256 -quality 90 -density 200 $graphicsdir/${name}.pdf $builddir/${tmpname}.png
+        convert -colors 256 -quality 90 -density 200 $graphicsdir/firstline-${name}.pdf $builddir/firstline-${tmpname}.png
 
         mv $builddir/${tmpname}.png $builddir/${name}.png
         mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png