Mercurial > dottes
changeset 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 | 01399eb43c0d |
children | cbe9c10b5a3e |
files | makeWebGraphics.sh |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
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