How to put gif or mp4 file in Literate documentation page?

Specific Domains Visualization
,
1

I want to attach gif or mp4 file on documentation page.
My code is:

# ```@raw html
# <video autoplay loop muted playsinline controls src="../../../assets/topoplot_animation_UM.gif" />
# ```

This is the page deployed: Benchmarking · UnfoldMakie.jl

The filepath should be correct because on the same page you can see png file correctly attached from the same folder.
Problems:

  1. gif file is just 0 sec video (should be more obviously)
  2. page is breaking abruptly (while there should be some content later).

What could be the solution?

2 Likes
2

I solved part of the problem - you need to use the library FFMPEG_jll