force extension

This commit is contained in:
jverzani committed 2022-05-28 08:44:38 -04:00
1 parent ec72312cc4
commit 494a9ded9c
1 file changed
+2
+2
View File
@@ -105,6 +105,8 @@ function build_file(folder, file, force)
## use jmd -> pluto notebook -> generate_html
@info "Building HTML: $file"
occursin(r"\.jmd$", file) || (file *= ".jmd")
o = build_fileq(folder, file, force=force)
o || return false