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) | |
download | nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar.gz nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar.bz2 nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar.lz nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar.xz nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.tar.zst nixlib-d041641b1abc901191947cd9d7676cd803ccd00b.zip |
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 ba4d519429eb..000000000000 --- 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 |