diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-28 18:07:14 +0200 |
|---|---|---|
| committer | davidak <git@davidak.de> | 2022-10-26 01:46:44 +0200 |
| commit | fa285355ee3bc6ab6f776bc2aaced4c3d4cc3bd0 (patch) | |
| tree | 5560e1d4f51d38ca4d375da7da461f4be777c9c3 /doc/build-aux | |
| parent | 222155e8af19a665c31e0dcaaa1d1751d9815975 (diff) | |
nixos/doc/manual/md-to-db.sh: Add support for <kbd> element
Diffstat (limited to 'doc/build-aux')
| -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 0000000000000..8f4de40ce5f88 --- /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 |