> > How did you produce a video out of the PDF? > I wrote a BASH script to automate this process, but essentially it involves converting each "frame"/page of the PDF to JPG and then combining the JPG sequence into a MP4 movie.
The hypocycloid example has 191 frames, and so I did something like: let n=0; while [ $n -lt 191 ] do convert -density 720 hypocycloid.pdf[$n] -resize "x720" -flatten -gravity center -extent "1280x720" -quality 100 hypocycloid-$n.jpg done ffmpeg -r 13 -i hypocycloid-%d.jpg -b 5000k -vcodec libx264 -y hypocycloid.mp4
___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________
