blob: 42639cc4adeab9a37e10c7a8210d5cff3cea8bbc (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
function Header(element)
if element.level == 1 and element.attr.identifier == "motivation" then
io.input("example-output.html")
return {pandoc.RawBlock(
"html",
"<pre id=\"example-output\">"..io.read("*all").."</pre>"),
element}
else
return element
end
end
|
