diff options
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/staticsite/Page.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/Page.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/Page.scala index a81e4143b..23619d8f7 100644 --- a/doc-tool/src/dotty/tools/dottydoc/staticsite/Page.scala +++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/Page.scala @@ -40,7 +40,11 @@ trait Page { yamlCollector .getData().asScala .mapValues { - case xs if xs.size == 1 => xs.get(0) + case xs if xs.size == 1 => + val str = xs.get(0) + if (str.length > 0 && str.head == '"' && str.last == '"') + str.substring(1, str.length - 1) + else str case xs => xs } .toMap |