diff options
Diffstat (limited to 'Master/texmf-dist/metapost/mp3d/create_animation.sh')
-rw-r--r-- | Master/texmf-dist/metapost/mp3d/create_animation.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Master/texmf-dist/metapost/mp3d/create_animation.sh b/Master/texmf-dist/metapost/mp3d/create_animation.sh deleted file mode 100644 index e99ca7383ca..00000000000 --- a/Master/texmf-dist/metapost/mp3d/create_animation.sh +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh - -/bin/rm -f animpoly.log -for i in `ls animpoly.*| grep 'animpoly.[0-9]'`;do -echo $i -echo '==============' -awk < $i '{print} /^%%Page: /{print "142 123 translate\n"}' > $i.ps -gs -sDEVICE=ppmraw -sPAPERSIZE=a4 -dNOPAUSE -r36 -sOutputFile=$i.ppm -q -- $i.ps -/bin/rm -f $i.ps -ppmquant 32 $i.ppm | pnmcut 0 114 141 307 | ppmtogif > `expr $i.ppm : '\(.*\)ppm'`gif -/bin/rm -f $i.ppm -done -/bin/rm -f animpoly.gif -gifmerge -10 -l1000 animpoly.*.gif > animpoly.gif -/bin/rm -f animpoly.*.gif |