diff options
Diffstat (limited to 'fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua')
-rw-r--r-- | fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua b/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua new file mode 100644 index 0000000000..25938d3358 --- /dev/null +++ b/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua @@ -0,0 +1,10 @@ +function Link(el)
+ el.target = string.gsub(el.target, "%.md", ".html")
+ el.target = string.gsub(el.target, "%.rawmd", ".md")
+ return el
+end
+
+function CodeBlock(el)
+ el.text = string.gsub(el.text, "(.+)", " %0")
+ return el
+end
|