diff options
Diffstat (limited to 'docs/build.sc')
-rw-r--r-- | docs/build.sc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/build.sc b/docs/build.sc index 0d936d3c..e216ea65 100644 --- a/docs/build.sc +++ b/docs/build.sc @@ -143,6 +143,8 @@ def main(publish: Boolean = false) = { cp(pwd/"favicon.png", targetFolder/"favicon.ico") cp(pwd/"logo-white.svg", targetFolder/"logo-white.svg") + cp(pwd/"VisualizeCompile.svg", targetFolder/"VisualizeCompile.svg") + cp(pwd/"VisualizeCore.svg", targetFolder/"VisualizeCore.svg") %('zip, "-r", targetFolder/"example-1.zip", "example-1")(pwd) %('zip, "-r", targetFolder/"example-2.zip", "example-2")(pwd) |