You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PreTeXt support
Hello!
So with pretext output to HTML, this opens up the possibility of using animated gifs, which is great for HTML viewing.
<image source="test.gif" width="70%"/>
However, this is not so good for LaTeX output and I don't think xelatex or xetex can handle gifs. The current replacement puts something like this into the latex source:
but I'm not entirely sure that works (or at least I could not get it to work.
Optimally I'd be happy if there was simply a test.gif and test.png (which could be manually made) in the assets folder, and when it came time to compile the latex version it swapped the gif for the png.
Any thoughts?
Rob Beezer
unread,
Oct 9, 2025, 12:00:55 PMOct 9
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to pretext...@googlegroups.com
If an animated GIF is being used to convey some information (via an animation),
then a "still" version (as a PNG) would be a poor replacement, I'd say.
Whatever it was about the animation that was important/necessary, would be lost
(silently, as proposed).
I'd liken an animated GIF to being more like a video, which we handle more
carefully in PDF output (see the sample article for examples).
Perhaps
<video source="my-animation.gif"/>
could be accomodated in our current implmentation, since we are already careful
about extensions on the filenames of these @source attributes.