diff options
author | Joseph K. Strauss <joseph.k.strauss@gmail.com> | 2018-08-16 21:59:01 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-16 21:59:01 -0400 |
commit | 16e67cb248ba96fc3722561bcadbba27a2779a03 (patch) | |
tree | a666018f8ce870053a8417d9bb53fc078a34e2dc /docs/build.sc | |
parent | d4de5f9646cb2005e79dd8f64ac20c66fa2baeda (diff) | |
download | mill-16e67cb248ba96fc3722561bcadbba27a2779a03.tar.gz mill-16e67cb248ba96fc3722561bcadbba27a2779a03.tar.bz2 mill-16e67cb248ba96fc3722561bcadbba27a2779a03.zip |
Visualize plan (#409)
* Add VisualizePlan.svg to docs build
* Use simpler graph
Diffstat (limited to 'docs/build.sc')
-rw-r--r-- | docs/build.sc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/build.sc b/docs/build.sc index e216ea65..42a4f141 100644 --- a/docs/build.sc +++ b/docs/build.sc @@ -145,6 +145,7 @@ def main(publish: Boolean = false) = { cp(pwd/"logo-white.svg", targetFolder/"logo-white.svg") cp(pwd/"VisualizeCompile.svg", targetFolder/"VisualizeCompile.svg") cp(pwd/"VisualizeCore.svg", targetFolder/"VisualizeCore.svg") + cp(pwd/"VisualizePlan.svg", targetFolder/"VisualizePlan.svg") %('zip, "-r", targetFolder/"example-1.zip", "example-1")(pwd) %('zip, "-r", targetFolder/"example-2.zip", "example-2")(pwd) |