From ef8121d66e2c2b29c2aca4eed8119d638d71b29e Mon Sep 17 00:00:00 2001
From: David Himmelstrup <lemmih@gmail.com>
Date: Tue, 12 May 2020 15:00:37 +0800
Subject: [PATCH] Fix size of doc_hsv.gif

Former-commit-id: 4a43783d6cddfcc05d21d441c8c62cd96f011f89
---
 docs/gen_doc_gifs.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/gen_doc_gifs.sh b/docs/gen_doc_gifs.sh
index 862ddd4..b1cc387 100755
--- a/docs/gen_doc_gifs.sh
+++ b/docs/gen_doc_gifs.sh
@@ -3,17 +3,18 @@ ROOT=`stack path --project-root`
 
 TINY='^(doc_turbo|doc_viridis|doc_magma|doc_inferno|doc_plasma|doc_sinebow|doc_cividis|doc_jet|
         newline|doc_hsvMatlab|doc_greyscale|doc_parula|doc_rgbComponents|doc_hsvComponents|
-        newline|doc_lchComponents|doc_xyzComponents|doc_labComponents)$'
+        newline|doc_hsv|doc_lchComponents|doc_xyzComponents|doc_labComponents)$'
 
 cd $ROOT/examples/
 for src in $ROOT/examples/doc_*.hs; do
   BASE=`basename $src .hs`
   DST=$ROOT/docs/gifs/$BASE.gif
   if [[ "$src" -nt "$DST" ]]; then
-    echo stack $src render -o $DST
     if [[ "$BASE" =~ $TINY ]]; then
+      echo "stack $src render -o $DST --width=320 --height=50"
       stack $src render -o $DST --width=320 --height=50
     else
+      echo "stack $src render -o $DST"
       stack $src render -o $DST
     fi
   fi