From 926a023b1d14ce66784a2d06cb14e72b66000454 Mon Sep 17 00:00:00 2001
From: Daniel Schwabeneder <daschw@disroot.org>
Date: Fri, 11 Oct 2019 12:52:38 +0200
Subject: [PATCH] fix html output of video animations

---
 src/animation.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/animation.jl b/src/animation.jl
index 7d55b567..cac6ca3a 100644
--- a/src/animation.jl
+++ b/src/animation.jl
@@ -104,7 +104,7 @@ function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif)
     write(io, if ext == "gif"
         "<img src=\"$(relpath(agif.filename))\" />"
     elseif ext in ("mov", "mp4")
-        "<video controls><source src=\"$(relpath(agif.filename)) type=\"video/$ext\"></video>"
+        "<video controls><source src=\"$(relpath(agif.filename))\" type=\"video/$ext\"></video>"
     else
         error("Cannot show animation with extension $ext: $agif")
     end)