5.30 How to include animated gif file in the HTML?

add this in Latex file, and use normal HTML coding in there. This will only show up in the HTML and not affect the pdflatex run

\ifdefined\HCode 
\HCode{ 
   <image src="movie.gif"  alt="movie" 
}