Fix size of doc_hsv.gif

Former-commit-id: 4a43783d6cddfcc05d21d441c8c62cd96f011f89
This commit is contained in:
David Himmelstrup 2020-05-12 15:00:37 +08:00
commit ef8121d66e

View file

@ -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