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.
This commit is contained in:
Jim Hague 2013-07-16 16:27:49 +01:00
parent 31a8cf479b
commit 470ad386fc
1 changed files with 2 additions and 2 deletions

View File

@ -25,8 +25,8 @@ find $booke -name "*.abc" | sort |
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