Naïm Favier f31c2a395e Render descriptions as Markdown (#667) ... * Render descriptions as Markdown Following https://github.com/NixOS/nixpkgs/pull/237557, DocBook descriptions are not supported any more. We cannot use options.json any more because it still has DocBook descriptions in 22.11, so read the options from the modules directly. * Bump VERSION		2023-06-28 17:44:44 +02:00
..
commands	Render descriptions as Markdown (#667)	2023-06-28 17:44:44 +02:00
data	Fix fix-xrefs.lua's empty link detection (#618)	2023-02-15 15:25:29 +01:00