diff options
author | pennae <github@quasiparticle.net> | 2022-06-03 21:47:57 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2022-06-12 12:44:38 +0200 |
commit | 320aa2a7910a71371204d672ff612cc9af5337da (patch) | |
tree | 05aaeaff9dbee1e701b999752badcb97728c265f /doc/build-aux | |
parent | 2f00d7ac51207d061fb9174b130ae3bb8b2d651a (diff) | |
download | nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar.gz nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar.bz2 nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar.lz nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar.xz nixlib-320aa2a7910a71371204d672ff612cc9af5337da.tar.zst nixlib-320aa2a7910a71371204d672ff612cc9af5337da.zip |
treewide: attempt at markdown option docs
Diffstat (limited to 'doc/build-aux')
-rw-r--r-- | doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua b/doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua index 92dc6895750f..1c745393a04b 100644 --- a/doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua +++ b/doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua @@ -27,6 +27,10 @@ function Code(elem) content = '<refentrytitle>' .. title .. '</refentrytitle>' .. (volnum ~= nil and ('<manvolnum>' .. volnum .. '</manvolnum>') or '') elseif elem.attributes['role'] == 'file' then tag = 'filename' + elseif elem.attributes['role'] == 'command' then + tag = 'command' + elseif elem.attributes['role'] == 'option' then + tag = 'option' end if tag ~= nil then |