This commit is contained in:
jverzani committed 2022-05-24 13:54:51 -04:00
1 parent 244f492f9e
commit 7afcea941b
1 file changed
+1
+1
View File
@@ -64,6 +64,7 @@ if isnothing(folder) && isnothing(file)
# build_pages(folder, nothing, target, force)
# end
# # others need to integrate with Pluto
# for folder ∈ ("alternatives", "misc")
# build_pages(folder, nothing, "weave_html", force)