summaryrefslogtreecommitdiff
path: root/docs/build.sc
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-06-02 18:55:11 -0700
committerLi Haoyi <haoyi.sg@gmail.com>2018-06-02 18:58:07 -0700
commit7f3249f71621e13795c6229b7c70c7e64e017a66 (patch)
treeb7a95b91b68c5f088ea255163ea3306102d12fe1 /docs/build.sc
parentbaf2295c6d99d32c61d56dac38adf08388b6cc07 (diff)
downloadmill-7f3249f71621e13795c6229b7c70c7e64e017a66.tar.gz
mill-7f3249f71621e13795c6229b7c70c7e64e017a66.tar.bz2
mill-7f3249f71621e13795c6229b7c70c7e64e017a66.zip
0.2.30.2.3
Diffstat (limited to 'docs/build.sc')
-rw-r--r--docs/build.sc2
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)