This commit is contained in:
jverzani
2022-05-24 14:19:45 -04:00
parent e4e25a778f
commit 67a401dc8a
2 changed files with 14 additions and 2 deletions

View File

@@ -71,8 +71,7 @@ if isnothing(folder) && isnothing(file)
# end
build_pages("precalc", "functions", "html", true)
build_pages("misc", nothing, "weave_html", true)
toc = joinpath("build", "misc", "toc.html")
cp(toc, joinpath("build","index.html"), force=true)
build_toc()
else
build_pages(folder, file, target, force)
end