diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-12 13:34:27 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:06 +0100 |
commit | 6be3353e9aae48efec038ce5daab022737545345 (patch) | |
tree | 7f2383b3608a9bb6e135bcc5119bfe0f2839f357 /doc-tool/src/dotty/tools/dottydoc/core | |
parent | 280312716753fb226794ff9e2f9259d9c9e8d942 (diff) | |
download | dotty-6be3353e9aae48efec038ce5daab022737545345.tar.gz dotty-6be3353e9aae48efec038ce5daab022737545345.tar.bz2 dotty-6be3353e9aae48efec038ce5daab022737545345.zip |
Remove `Context` from site generation
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc/core')
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/core/ContextDottydoc.scala | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/core/ContextDottydoc.scala b/doc-tool/src/dotty/tools/dottydoc/core/ContextDottydoc.scala index c2dd3fdef..c60038836 100644 --- a/doc-tool/src/dotty/tools/dottydoc/core/ContextDottydoc.scala +++ b/doc-tool/src/dotty/tools/dottydoc/core/ContextDottydoc.scala @@ -5,12 +5,6 @@ package core import dotc.core.Symbols.Symbol import dotc.core.Comments.ContextDocstrings import model.Package -import com.vladsch.flexmark.parser.ParserEmulationFamily -import com.vladsch.flexmark.parser.Parser -import com.vladsch.flexmark.ext.tables.TablesExtension -import com.vladsch.flexmark.ext.front.matter.YamlFrontMatterExtension -import com.vladsch.flexmark.util.options.{ DataHolder, MutableDataSet } -import java.util.{ Collections => JCollections } class ContextDottydoc extends ContextDocstrings { import scala.collection.mutable @@ -26,10 +20,4 @@ class ContextDottydoc extends ContextDocstrings { def addDef(s: Symbol, d: Symbol): Unit = _defs = (_defs + { s -> _defs.get(s).map(xs => xs + d).getOrElse(Set(d)) }) - - val markdownOptions: DataHolder = - new MutableDataSet() - .setFrom(ParserEmulationFamily.KRAMDOWN.getOptions) - .set(Parser.EXTENSIONS, JCollections.singleton(TablesExtension.create())) - .set(Parser.EXTENSIONS, JCollections.singleton(YamlFrontMatterExtension.create())) } |