diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-09 19:04:16 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:05 +0100 |
| commit | 7b3588fbff791679fc82c4fe21085eb97a97cf0a (patch) | |
| tree | 4aee8b5474da2eb552d4f58cb6dec4320081d2e7 /compiler/src | |
| parent | c4757c39f238f3c3f9a75e78d54e5a42d9934142 (diff) | |
| download | dotty-7b3588fbff791679fc82c4fe21085eb97a97cf0a.tar.gz dotty-7b3588fbff791679fc82c4fe21085eb97a97cf0a.tar.bz2 dotty-7b3588fbff791679fc82c4fe21085eb97a97cf0a.zip | |
Add static site gen to dottydoc main
Diffstat (limited to 'compiler/src')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/config/ScalaSettings.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala index fa4f61fe4..687b44815 100644 --- a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -213,6 +213,13 @@ class ScalaSettings extends Settings.SettingGroup { "A directory containing static resources needed for the API documentation" ) + val siteRoot = StringSetting( + "-siteroot", + "site root", + "A directory containing static files from which to generate documentation", + sys.props("user.dir") + ) + val DocTitle = StringSetting ( "-Ydoc-title", "title", |