diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-04-25 15:41:54 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:19 +0200 |
| commit | 2de658d1a33a48ec8ef2a23674068970fb632664 (patch) | |
| tree | ba84d250b3e6d72e300cbcfb3395e0d572662581 /src/dotty/tools/dotc/config/Settings.scala | |
| parent | 02a12f9557aa6a587bed1175c0d4cebac219f412 (diff) | |
| download | dotty-2de658d1a33a48ec8ef2a23674068970fb632664.tar.gz dotty-2de658d1a33a48ec8ef2a23674068970fb632664.tar.bz2 dotty-2de658d1a33a48ec8ef2a23674068970fb632664.zip | |
Add the scaladoc CLI args that make sense for dottydoc
Diffstat (limited to 'src/dotty/tools/dotc/config/Settings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Settings.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/config/Settings.scala b/src/dotty/tools/dotc/config/Settings.scala index f30cedaa0..73df4e1ec 100644 --- a/src/dotty/tools/dotc/config/Settings.scala +++ b/src/dotty/tools/dotc/config/Settings.scala @@ -235,8 +235,8 @@ object Settings { setting } - def BooleanSetting(name: String, descr: String): Setting[Boolean] = - publish(Setting(name, descr, false)) + def BooleanSetting(name: String, descr: String, initialValue: Boolean = false): Setting[Boolean] = + publish(Setting(name, descr, initialValue)) def StringSetting(name: String, helpArg: String, descr: String, default: String): Setting[String] = publish(Setting(name, descr, default, helpArg)) |