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/pandoc-filters | |
| parent | 2f00d7ac51207d061fb9174b130ae3bb8b2d651a (diff) | |
treewide: attempt at markdown option docs
Diffstat (limited to 'doc/build-aux/pandoc-filters')
| -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 92dc6895750fc..1c745393a04b4 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 |