diff options
author | Norbert Preining <norbert@preining.info> | 2022-05-23 03:03:21 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-05-23 03:03:21 +0000 |
commit | 989493fc0cf04ec736a261d39eee40e1d7bdf4be (patch) | |
tree | a277a139c974ad3d3703fa42439cb0da70de6f89 /fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-html.lua | |
parent | fcedb80554137a681150f48c9a1ca20dbfb2e83a (diff) |
CTAN sync 202205230303
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
|