summaryrefslogtreecommitdiff
path: root/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-06-02 03:03:07 +0000
committerNorbert Preining <norbert@preining.info>2022-06-02 03:03:07 +0000
commitd04e1ae659e8517e73bdabbd147386187d88fcb4 (patch)
treeeffdc25fc252bc1eaa513934be50107c297c2140 /fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua
parent395236b957a38aebc12c385c6de965af2b61f034 (diff)
CTAN sync 202206020303
Diffstat (limited to 'fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua')
-rw-r--r--fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua32
1 files changed, 16 insertions, 16 deletions
diff --git a/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua b/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua
index 25d5b0fe7d..09149ad72b 100644
--- a/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua
+++ b/fonts/gentium-tug/doc/GentiumPlus-6.101/documentation/source/pandocfilters/filter-pdf.lua
@@ -1,16 +1,16 @@
-function Link(el)
- el.target = string.gsub(el.target, "(.+)", "../../pdf/%0")
- el.target = string.gsub(el.target, "%.md", ".pdf")
- el.target = string.gsub(el.target, "%.rawmd", ".md")
- return el
-end
-
-function Image(el)
- el.src = string.gsub(el.src, "(.+)", "../../%0")
- return el
-end
-
-function CodeBlock(el)
- el.text = string.gsub(el.text, "(.+)", " %0")
- return el
-end
+function Link(el)
+ el.target = string.gsub(el.target, "(.+)", "../../pdf/%0")
+ el.target = string.gsub(el.target, "%.md", ".pdf")
+ el.target = string.gsub(el.target, "%.rawmd", ".md")
+ return el
+end
+
+function Image(el)
+ el.src = string.gsub(el.src, "(.+)", "../../%0")
+ return el
+end
+
+function CodeBlock(el)
+ el.text = string.gsub(el.text, "(.+)", " %0")
+ return el
+end