#!/bin/sh

set -e

cd "$(dirname "$0")"

mpost polyeder.mp

find . -maxdepth 1 -name 'polyeder-*.mps' \
  -exec convert -depth 2 "{}" "{}.bmp" \; \
  -delete

convert -delay 3 $(
  find . -maxdepth 1 -name 'polyeder-*.mps.bmp' | 
    sed 's/^.*-\([0-9]\+\)\.mps\.bmp$/\1 \0/' | \
    sort -k1n,1 | \
    cut -d' ' -f2
) polyeder.gif

find . -maxdepth 1 -name 'polyeder-*.mps.bmp' \
  -delete