From 1062331f7e6ee26266330328080b8e0ca17f2754 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 4 Mar 2019 08:07:01 -0800 Subject: [PATCH] tools: commit missing pandoc filters (#981) [ci skip] --- tools/pandoc-dedent-code-blocks.lua | 4 ++++ tools/pandoc-wiki-links.lua | 4 ++++ 2 files changed, 8 insertions(+) create mode 100644 tools/pandoc-dedent-code-blocks.lua create mode 100644 tools/pandoc-wiki-links.lua diff --git a/tools/pandoc-dedent-code-blocks.lua b/tools/pandoc-dedent-code-blocks.lua new file mode 100644 index 000000000..a7d7e78dd --- /dev/null +++ b/tools/pandoc-dedent-code-blocks.lua @@ -0,0 +1,4 @@ +-- convert code blocks to unindented plain text +function CodeBlock(b) + return pandoc.Para{ pandoc.Str(b.text) } +end diff --git a/tools/pandoc-wiki-links.lua b/tools/pandoc-wiki-links.lua new file mode 100644 index 000000000..e57a2ffb0 --- /dev/null +++ b/tools/pandoc-wiki-links.lua @@ -0,0 +1,4 @@ +-- github wiki links -> markdown links +function Para(p) + return pandoc.Str(p.t) +end