diff options
| author | Arun Isaac | 2026-03-16 23:00:16 +0000 |
|---|---|---|
| committer | Arun Isaac | 2026-03-17 00:23:39 +0000 |
| commit | 18f2033852f4888af498394e184b1cb498f08956 (patch) | |
| tree | a2ffc1939c83be593849773682953094f975eb13 /website/insert-example-output.lua | |
| parent | 7a86d1bef0758691cc9ca708d59b272d173fee84 (diff) | |
| download | run64-18f2033852f4888af498394e184b1cb498f08956.tar.gz run64-18f2033852f4888af498394e184b1cb498f08956.tar.lz run64-18f2033852f4888af498394e184b1cb498f08956.zip | |
Show off example output on the website.
Change-Id: Ia78a5476a786a8894a75ca0e5b763ab19f492554
Diffstat (limited to 'website/insert-example-output.lua')
| -rw-r--r-- | website/insert-example-output.lua | 11 |
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 |