From bcc75851c42b1e412767dc77465a145e3fb4b5d5 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Tue, 10 May 2016 13:29:56 +0200
Subject: Add setting for output dir

---
 src/dotty/tools/dotc/config/ScalaSettings.scala | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')

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",
-- 
cgit v1.2.3