diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-10 13:29:56 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:24 +0200 |
| commit | bcc75851c42b1e412767dc77465a145e3fb4b5d5 (patch) | |
| tree | dac551f2e730cb18c7dd4da0638d66b76db04421 /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | 0bfdc911b7f0c505d470f31091e7efb066849ff5 (diff) | |
| download | dotty-bcc75851c42b1e412767dc77465a145e3fb4b5d5.tar.gz dotty-bcc75851c42b1e412767dc77465a145e3fb4b5d5.tar.bz2 dotty-bcc75851c42b1e412767dc77465a145e3fb4b5d5.zip | |
Add setting for output dir
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 0cc08d3cd..fa4059a96 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -214,6 +214,13 @@ class ScalaSettings extends Settings.SettingGroup { "" ) + val DocOutput = StringSetting ( + "-Ydoc-output", + "outdir", + "The output directory in which to place the documentation", + "." + ) + val DocFooter = StringSetting ( "-Ydoc-footer", "footer", |