I have an animation that I made with the animate package for a Beamer presentation. The animation creates a sequence of tikz drawings that change according to an animate variable. The result is an embedded JavaScript that plays in some PDF viewers but not others. E.g., Okular plays it if I choose autoplay, but it doesn't if I need to "click" on the animation - I can live with this on my computer. However, I would also like to run this animation on an Android tablet. The best Android compatible PDF viewer I have seen so far is Xodo, which I can make to run media9 embedded videos, but so far no luck with embedded JavaScript (even though the app claims it can play JavaScript).
My question, specifically, is how can I make a video out of an animate animation? This can also boil down to how can I generate a series of PNG images from an animate animation (I know how to continue with the video from there)?
I provide the wider context of the question above in case someone can suggest alternative strategies to do what I want.
beamer-class documents withanimate-type animations in SVG format might be an interesting option: https://tex.stackexchange.com/questions/235139/using-the-animate-package-without-adobe Embedding video is possible too, using pkgmedia4svg. All this plays nicely in Web browsers (preferably Chromium-based) on tablets. – AlexG Dec 06 '20 at 10:12exportfeature as explained in your answer linked in the first comment. Thanks for your help. Perhaps this can be flagged as duplicate? – Miguel Dec 06 '20 at 11:32