generate png file for web upload

This commit is contained in:
Gael Guennebaud 2016-12-06 16:46:22 +01:00
parent f725f1cebc
commit 1b4e085a7f

View File

@ -33,7 +33,7 @@ echo " " >> $WHAT.gnuplot
gnuplot -persist < $WHAT.gnuplot
# generate a png file
# convert -background white -density 120 -rotate 90 -resize 800 +dither -colors 256 -quality 0 $WHAT.ps -background white -flatten .$WHAT.png
convert -background white -density 1000 -resize 1000 -colors 256 -quality 0 $WHAT.pdf -background white -flatten $WHAT.png
# clean
rm $WHAT.out.header $WHAT.gnuplot