diff options
| author | Paul Phillips <paulp@improving.org> | 2009-09-21 17:11:51 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2009-09-21 17:11:51 +0000 |
| commit | 4c29e778f1c95d60f24310c1898fa2fdf295db0f (patch) | |
| tree | eac2cf6ad041c8743b7826d0a25175c00f0b814d /src/compiler/scala/tools/nsc/doc/Settings.scala | |
| parent | d117803f2a305608bc283359215642feee6448e1 (diff) | |
| download | scala-4c29e778f1c95d60f24310c1898fa2fdf295db0f.tar.gz scala-4c29e778f1c95d60f24310c1898fa2fdf295db0f.tar.bz2 scala-4c29e778f1c95d60f24310c1898fa2fdf295db0f.zip | |
Changed vt-warning workaround to enable the set...
Changed vt-warning workaround to enable the setting in the doc settings
object, so anything using it will get the fix.
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/Settings.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/doc/Settings.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/Settings.scala b/src/compiler/scala/tools/nsc/doc/Settings.scala index 9861c159fc..1c878f1022 100644 --- a/src/compiler/scala/tools/nsc/doc/Settings.scala +++ b/src/compiler/scala/tools/nsc/doc/Settings.scala @@ -24,4 +24,7 @@ class Settings(error: String => Unit) extends scala.tools.nsc.Settings(error) { val stylesheetfile = StringSetting ("-stylesheetfile", "stylesheetfile", "File to change style of the generated documentation", "style.css") val pagetop = StringSetting ("-top", "pagetop", "Include top text for each page", "") val windowtitle = StringSetting ("-windowtitle", "windowtitle", "Specify window title of generated HTML documentation", "Scala 2") + + // working around issue described in r18708. + suppressVTWarn.value = true } |