Make pdf plots colorful (for web)

diff --git a/gw-tests/lib.sh b/gw-tests/lib.sh
index 5ecf2360c391dbd527af897ebbd6e07710c3fc66..5ffcb9daf21ec6de55ec82b1028b83b21791bb0c 100644 (file)
--- a/gw-tests/lib.sh
+++ b/gw-tests/lib.sh
@@ -61,7 +61,7 @@ _plot() {
            echo "set terminal x11 enhanced; $(< plot$i.gp)" | gnuplot -persist
        fi
        test "$(gnuplot --version)" = "gnuplot 4.2 patchlevel 5 " && continue
-       echo "set terminal pdfcairo dashed mono enhanced; " \
+       echo "set terminal pdfcairo dashed color enhanced; " \
             "set output \"graph$i.pdf\";" \
             "set pointsize 0.5;" \
            "$(< plot$i.gp)" |sed -e 's/lc [0-9]//'| gnuplot