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 | |
| parent | 222155e8af19a665c31e0dcaaa1d1751d9815975 (diff) | |
nixos/doc/manual/md-to-db.sh: Add support for <kbd> element
| -rw-r--r-- | doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua | 11 | ||||
| -rwxr-xr-x | nixos/doc/manual/md-to-db.sh | 1 |
2 files changed, 12 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 diff --git a/nixos/doc/manual/md-to-db.sh b/nixos/doc/manual/md-to-db.sh index 2091f9b31cd2f..beb0ff9f70828 100755 --- a/nixos/doc/manual/md-to-db.sh +++ b/nixos/doc/manual/md-to-db.sh @@ -19,6 +19,7 @@ pandoc_flags=( "--lua-filter=$DIR/../../../doc/build-aux/pandoc-filters/myst-reader/roles.lua" "--lua-filter=$DIR/../../../doc/build-aux/pandoc-filters/link-unix-man-references.lua" "--lua-filter=$DIR/../../../doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua" + "--lua-filter=$DIR/../../../doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua" "--lua-filter=$DIR/../../../doc/build-aux/pandoc-filters/docbook-writer/labelless-link-is-xref.lua" -f "commonmark${pandoc_commonmark_enabled_extensions}+smart" -t docbook |