# Renders markdown line as a HTML comment block.
private fun lines_to_html(lines: Array[String]): Writable do
var res = new Template
+ var decorator = markdown_proc.emitter.decorator.as(NitdocDecorator)
+ decorator.current_mdoc = self
res.add "<div class=\"nitdoc\">"
# do not use DocUnit as synopsys
if not lines.is_empty then
# add other lines
res.add markdown_proc.process(lines.join("\n"))
res.add "</div>"
+ decorator.current_mdoc = null
return res
end
private var toolcontext = new ToolContext
+ # The currently processed mdoc.
+ #
+ # Unfortunately, this seems to be the simpler way to get the currently processed `MDoc` object.
+ var current_mdoc: nullable MDoc = null
+
redef fun add_code(v, block) do
var meta = block.meta or else "nit"