2017-03-20 15:17:03 +01:00
|
|
|
return {
|
2017-04-12 20:48:44 +02:00
|
|
|
{
|
2017-04-15 21:40:48 +02:00
|
|
|
Str = function (elem)
|
|
|
|
if elem.text == "{{helloworld}}" then
|
2017-03-20 15:17:03 +01:00
|
|
|
return pandoc.Emph {pandoc.Str "Hello, World"}
|
|
|
|
else
|
2017-04-15 21:40:48 +02:00
|
|
|
return elem
|
2017-03-20 15:17:03 +01:00
|
|
|
end
|
2017-04-12 20:48:44 +02:00
|
|
|
end,
|
2017-03-20 15:17:03 +01:00
|
|
|
}
|
|
|
|
}
|