From 1b4e085a7f437157a701f32047b60525567c6357 Mon Sep 17 00:00:00 2001 From: Gael Guennebaud Date: Tue, 6 Dec 2016 16:46:22 +0100 Subject: generate png file for web upload --- bench/perf_monitoring/gemm/make_plot.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bench') diff --git a/bench/perf_monitoring/gemm/make_plot.sh b/bench/perf_monitoring/gemm/make_plot.sh index 11f3c53be..3318c4341 100755 --- a/bench/perf_monitoring/gemm/make_plot.sh +++ b/bench/perf_monitoring/gemm/make_plot.sh @@ -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 -- cgit v1.2.3