Implement dotty bridge for doc

2 files changed, 7 insertions, 5 deletions

diff --git a/dottydoc/src/dotty/tools/dottydoc/api/java/Dottydoc.java b/dottydoc/src/dotty/tools/dottydoc/api/java/Dottydoc.java
index b461c3096..dbe3f6f41 100644
--- a/dottydoc/src/dotty/tools/dottydoc/api/java/Dottydoc.java
+++ b/dottydoc/src/dotty/tools/dottydoc/api/java/Dottydoc.java
@@ -5,6 +5,7 @@ import dotty.tools.dottydoc.model.Package;
 import dotty.tools.dottydoc.util.OutputWriter;
 import java.util.Map;
 import java.util.List;
+import java.net.URL;
 
 /** FIXME: document me! */
 public class Dottydoc extends DocDriver {
@@ -18,11 +19,11 @@ public class Dottydoc extends DocDriver {
 
     public void buildDocs(
         String outputDir,
-        String templatePath,
-        List<String> resources,
+        URL template,
+        List<URL> resources,
         Map<String, Package> index
     ) {
-        new OutputWriter().writeJava(index, templatePath, outputDir, resources);
+        new OutputWriter().writeJava(index, outputDir, template, resources);
     }
 
     public void writeJson(Map<String, Package> index, String outputDir) {
diff --git a/dottydoc/src/dotty/tools/dottydoc/api/scala/Dottydoc.scala b/dottydoc/src/dotty/tools/dottydoc/api/scala/Dottydoc.scala
index dce994f5d..a2c42d38c 100644
--- a/dottydoc/src/dotty/tools/dottydoc/api/scala/Dottydoc.scala
+++ b/dottydoc/src/dotty/tools/dottydoc/api/scala/Dottydoc.scala
@@ -5,14 +5,15 @@ import dotty.tools.dottydoc.model.Package
 import dotty.tools.dottydoc.util.OutputWriter
 
 import scala.collection.Map
+import java.net.URL
 
 /** FIXME: document this class plz */
 trait Dottydoc extends DocDriver {
   def createIndex(args: Array[String]): Map[String, Package] =
     compiledDocs(args)
 
-  def buildDocs(outDir: String, templatePath: String, resources: List[String], index: Map[String, Package]) =
-    new OutputWriter().write(index, templatePath, outDir, resources)
+  def buildDocs(outDir: String, template: URL, resources: List[URL], index: Map[String, Package]) =
+    new OutputWriter().write(index, outDir, template, resources)
 
   def writeJson(index: Map[String, Package], outputDir: String) =
     new OutputWriter().writeJson(index, outputDir)