diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/generate_html.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/generate_html.rs b/src/generate_html.rs index 82e1819..8f2ae62 100644 --- a/src/generate_html.rs +++ b/src/generate_html.rs @@ -180,6 +180,7 @@ pub fn document_to_html(document: &MarkdownDocument, page: &Page, website: &Webs "jpg"|"jpeg"|"png"|"webp"|"gif"|"tiff" => html!( "<figure><a href='{path}'><img src='{path}' alt='{label}' title='{label}' /></a></figure>"), "mp3"|"wav"|"m4a" => html!("<audio controls src='{path}'>{label}</audio>"), + "mp4"|"avi" => html!("<video controls src='{path}'>{label}</video>"), ext @ _ => warn!("Unrecognised extension for embedded file {path:?} with extension {ext:?} in page {from:?}"), } } |