diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-18 10:01:44 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-18 15:20:07 +0200 |
commit | ea1137235e04baf1254289a37c008bf60c254835 (patch) | |
tree | 92c6a6da78dad9148b28786724097abee3639ba4 /tools/class-dump | |
parent | 1571af7a8a7e78b67d052f371abc44c751930666 (diff) | |
download | scala-ea1137235e04baf1254289a37c008bf60c254835.tar.gz scala-ea1137235e04baf1254289a37c008bf60c254835.tar.bz2 scala-ea1137235e04baf1254289a37c008bf60c254835.zip |
Skip more under ant -Ddocs.skip.
- skip docs.lib, which doesn't route through the staged-docs
macro
- skip copying docs to the staged maven distribution
- skip maven local deploy of doc jar under this mode
- skip devel docs tarring
Diffstat (limited to 'tools/class-dump')
0 files changed, 0 insertions, 0 deletions