diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-03 10:47:59 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:28:08 +0100 |
| commit | 198464a0ef18b3d394a2fd456b98f53c3e95d2e1 (patch) | |
| tree | f165ec3010e4c71f8e0df1a288af2d95b8fc3582 /doc-tool/test | |
| parent | 25fde7896d27f31d2c1c0adfbff8e2b3e390ceaa (diff) | |
| download | dotty-198464a0ef18b3d394a2fd456b98f53c3e95d2e1.tar.gz dotty-198464a0ef18b3d394a2fd456b98f53c3e95d2e1.tar.bz2 dotty-198464a0ef18b3d394a2fd456b98f53c3e95d2e1.zip | |
Split Dottydoc.scala into separate files
Diffstat (limited to 'doc-tool/test')
| -rw-r--r-- | doc-tool/test/GenDocs.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc-tool/test/GenDocs.scala b/doc-tool/test/GenDocs.scala index 770904016..358e52fdf 100644 --- a/doc-tool/test/GenDocs.scala +++ b/doc-tool/test/GenDocs.scala @@ -19,6 +19,11 @@ trait LocalResources extends api.scala.Dottydoc { sys.env.get("DOC_RESOURCES").getOrElse("../../dottydoc-client/resources/") ).listFiles + def getFiles(file: JFile): Array[JFile] = + if (file.isDirectory) file.listFiles.flatMap(getFiles) + else if (file.getAbsolutePath.endsWith(".scala")) Array(file) + else Array() + assert(template.exists, "please specify a template.html file using DOC_TEMPLATE env var") assert(resources.forall(_.exists), "please specify a resource dir using DOC_RESOURCES env var") @@ -43,11 +48,6 @@ object GenCollections extends LocalResources { object GenDottyDocs extends LocalResources { import Files._ - def getFiles(file: JFile): Array[JFile] = - if (file.isDirectory) file.listFiles.flatMap(getFiles) - else if (file.getAbsolutePath.endsWith(".scala")) Array(file) - else Array() - val dottyFiles = new JFile("../compiler/src/dotty").listFiles.flatMap(getFiles).map(_.getAbsolutePath) override def main(args: Array[String]): Unit = buildDocs( |