diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-09-30 15:24:59 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:12:28 +0200 |
commit | f239bdb79f57855544b313573117e5603d038383 (patch) | |
tree | 51311745a4a362de3da8b201d964e707a0945f9c /project/Build.scala | |
parent | eb95a04d8d7741ee392df9de05a4040a0f3535ca (diff) | |
download | dotty-f239bdb79f57855544b313573117e5603d038383.tar.gz dotty-f239bdb79f57855544b313573117e5603d038383.tar.bz2 dotty-f239bdb79f57855544b313573117e5603d038383.zip |
Disable scaladoc generation for dotty
This makes "publishLocal" much faster which is extremely useful when
working on the sbt bridge.
Diffstat (limited to 'project/Build.scala')
-rw-r--r-- | project/Build.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/project/Build.scala b/project/Build.scala index ec2db8339..5a659fd27 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -64,6 +64,9 @@ object DottyBuild extends Build { lazy val dotty = project.in(file(".")). dependsOn(`dotty-interfaces`). settings( + // Disable scaladoc generation, makes publishLocal much faster + publishArtifact in packageDoc := false, + overrideScalaVersionSetting, // set sources to src/, tests to test/ and resources to resources/ |