Figures and movies:
latex, PDF for pdflatex,
PNG, GIF or JPEG for HTML formats (html, and HTML output from
sphinx, rst, pandoc). One can omit the figure file extension and
doconce will pick the most appropriate file for the given output format.doconce combine_images to combine several images into one.fig or fig-X,
where X is some short logical name for the current document.mov or mov-X.