mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-15 14:26:33 +01:00
fb1bc8de93
Follow-up to https://github.com/NixOS/nixpkgs/pull/208407 Removing `mdDoc` isn't enough, we need to emit actual DocBook. |
||
---|---|---|
.. | ||
default.nix | ||
generateDoc.py | ||
mergeJSON.py | ||
options-to-docbook.xsl | ||
optionsJSONtoXML.nix | ||
postprocess-option-descriptions.xsl | ||
sortXML.py |