1 files changed, 11 insertions, 0 deletions
diff --git a/website/insert-example-output.lua b/website/insert-example-output.lua
new file mode 100644
index 0000000..42639cc
--- /dev/null
+++ b/website/insert-example-output.lua
@@ -0,0 +1,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