fix exception 'UnmappableCharacterException' in dottydoc on Windows

Stéphane Micheloud · Stéphane Micheloud · commit 72ef612ad218 · 2018-11-12T18:46:49.000+01:00
diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala
@@ -408,7 +408,7 @@ case class Site(
   }
 
   private def toSourceFile(f: JFile): SourceFile =
-    SourceFile(AbstractFile.getFile(new File(f.toPath)), Source.fromFile(f).toArray)
+    SourceFile(AbstractFile.getFile(new File(f.toPath)), Source.fromFile(f, "UTF-8").toArray)
 
   private def collectFiles(dir: JFile, includes: String => Boolean): Array[JFile] =
     dir

Original file line number	Diff line number	Diff line change
`@@ -408,7 +408,7 @@ case class Site(`
`408`	`408`	`}`
`409`	`409`
`410`	`410`	`private def toSourceFile(f: JFile): SourceFile =`
`411`		`- SourceFile(AbstractFile.getFile(new File(f.toPath)), Source.fromFile(f).toArray)`
	`411`	`+ SourceFile(AbstractFile.getFile(new File(f.toPath)), Source.fromFile(f, "UTF-8").toArray)`
`412`	`412`
`413`	`413`	`private def collectFiles(dir: JFile, includes: String => Boolean): Array[JFile] =`
`414`	`414`	`dir`