1 files changed, 19 insertions, 0 deletions
diff --git a/animate b/animate
index 13f4793..c536001 100755
--- a/animate
+++ b/animate
@@ -1,2 +1,21 @@
 #!/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