Mercurial > dottes
diff makeWebGraphics.sh @ 318:77372a0166fe
Use PDFs as input sources for PNG generation.
The PDFs are cropped, so don't have a margin. Thus margins can be the concern of
CSS only.
| author | Jim Hague <jim.hague@acm.org> |
|---|---|
| date | Tue, 16 Jul 2013 16:27:49 +0100 |
| parents | 0ef955669a9a |
| children | b61c39beac5f |
line wrap: on
line diff
--- a/makeWebGraphics.sh Tue Jul 16 16:26:41 2013 +0100 +++ b/makeWebGraphics.sh Tue Jul 16 16:27:49 2013 +0100 @@ -25,8 +25,8 @@ do name=`basename $filename .abc` tmpname=${name}.tmp - convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png - convert -density 96 $graphicsdir/firstline-${name}.eps $builddir/firstline-${tmpname}.png + convert -density 96 $graphicsdir/${name}.pdf $builddir/${tmpname}.png + convert -density 96 $graphicsdir/firstline-${name}.pdf $builddir/firstline-${tmpname}.png mv $builddir/${tmpname}.png $builddir/${name}.png mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png