diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua b/doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua new file mode 100644 index 000000000000..8f4de40ce5f8 --- /dev/null +++ b/doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua @@ -0,0 +1,11 @@ +--[[ +Converts some HTML elements commonly used in Markdown to corresponding DocBook elements. +]] + +function RawInline(elem) + if elem.format == 'html' and elem.text == '<kbd>' then + return pandoc.RawInline('docbook', '<keycap>') + elseif elem.format == 'html' and elem.text == '</kbd>' then + return pandoc.RawInline('docbook', '</keycap>') + end +end |