From 23d02f334e85854520c4f817fccda721ea2aaf99 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Sun, 12 Dec 2010 13:06:07 +0100
Subject: [PATCH] Draw smallet points in PDF graphs

---
 gw-tests/lib.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gw-tests/lib.sh b/gw-tests/lib.sh
index 8a8a9e9..a67a46e 100644
--- a/gw-tests/lib.sh
+++ b/gw-tests/lib.sh
@@ -53,7 +53,9 @@ _plot() {
 	if [ -z "$OPT_NO_X11" ]; then
 	    echo "set terminal x11 enhanced; $(< plot.gp)" | gnuplot -persist
 	fi
-	echo "set terminal pdfcairo solid color enhanced; set output \"graph$i.pdf\";" \
+	echo "set terminal pdfcairo solid color enhanced; " \
+	     "set output \"graph$i.pdf\";" \
+	     "set pointsize 0.5;" \
 	    "$(< plot.gp)" | gnuplot
 	echo 'set terminal pngcairo color enhanced size 750,525 font ",10" ;' \
 	    "$(< plot.gp)" | gnuplot > graph$i.png
-- 
2.39.2