Temporarily disable obtaining external Inkuire databases

pikinier20 · pikinier20 · commit 3338473420d9 · 2021-08-03T13:52:05.000+02:00
diff --git a/scaladoc/src/dotty/tools/scaladoc/Inkuire.scala b/scaladoc/src/dotty/tools/scaladoc/Inkuire.scala
@@ -15,7 +15,10 @@ object Inkuire {
   }
 
   def generateInkuireConfig(externalMappings: Seq[String]): String = {
-    val paths = ("../inkuire-db.json" +: externalMappings.map(_ + "../inkuire-db.json")).map(jsonString)
+    val paths =
+      List("../inkuire-db.json").map(jsonString)
+        // TODO: #13243
+        // ++ externalMappings.map(_ + "../inkuire-db.json")).map(jsonString)
     jsonObject(("inkuirePaths", jsonList(paths))).toString
   }
 

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,10 @@ object Inkuire {`
`15`	`15`	`}`
`16`	`16`
`17`	`17`	`def generateInkuireConfig(externalMappings: Seq[String]): String = {`
`18`		`- val paths = ("../inkuire-db.json" +: externalMappings.map(_ + "../inkuire-db.json")).map(jsonString)`
	`18`	`+ val paths =`
	`19`	`+ List("../inkuire-db.json").map(jsonString)`
	`20`	`+ // TODO: #13243`
	`21`	`+ // ++ externalMappings.map(_ + "../inkuire-db.json")).map(jsonString)`
`19`	`22`	`jsonObject(("inkuirePaths", jsonList(paths))).toString`
`20`	`23`	`}`
`21`	`24`