diff options
author | pennae <github@quasiparticle.net> | 2023-02-08 11:08:25 +0100 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-02-10 06:40:15 +0100 |
commit | d041641b1abc901191947cd9d7676cd803ccd00b (patch) | |
tree | e13a6f2dca1c98b55bd17d6b2c9ac00a99de9364 /doc/build-aux | |
parent | 652a283e51d57ed294cb07774ebf7b95b1a7e59c (diff) |
nixos/manual: remove md-to-db
with manual chapters no longer needing pandoc for their conversion to xml we can get rid of this source of confusion, and its huge cache of xml files.
Diffstat (limited to 'doc/build-aux')
-rw-r--r-- | doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua | 11 |
1 files changed, 0 insertions, 11 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 deleted file mode 100644 index ba4d519429eb6..0000000000000 --- a/doc/build-aux/pandoc-filters/docbook-writer/html-elements.lua +++ /dev/null @@ -1,11 +0,0 @@ ---[[ -Converts some HTML elements commonly used in Markdown to corresponding DocBook elements. -]] - -function Span(elem) - if #elem.classes == 1 and elem.classes[1] == 'keycap' then - elem.content:insert(1, pandoc.RawInline('docbook', '<keycap>')) - elem.content:insert(pandoc.RawInline('docbook', '</keycap>')) - return elem - end -end |