comparison 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
comparison
equal deleted inserted replaced
317:01399eb43c0d 318:77372a0166fe
23 find $booke -name "*.abc" | sort | 23 find $booke -name "*.abc" | sort |
24 while read filename 24 while read filename
25 do 25 do
26 name=`basename $filename .abc` 26 name=`basename $filename .abc`
27 tmpname=${name}.tmp 27 tmpname=${name}.tmp
28 convert -density 96 $graphicsdir/${name}.eps $builddir/${tmpname}.png 28 convert -density 96 $graphicsdir/${name}.pdf $builddir/${tmpname}.png
29 convert -density 96 $graphicsdir/firstline-${name}.eps $builddir/firstline-${tmpname}.png 29 convert -density 96 $graphicsdir/firstline-${name}.pdf $builddir/firstline-${tmpname}.png
30 30
31 mv $builddir/${tmpname}.png $builddir/${name}.png 31 mv $builddir/${tmpname}.png $builddir/${name}.png
32 mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png 32 mv $builddir/firstline-${tmpname}.png $builddir/firstline-${name}.png
33 done 33 done