d1aa187c0e
mistune already does escaping. it does escaping for html, but the difference is small enough that can just ignore that we're actually targeting docbook here. |
||
---|---|---|
.. | ||
default.nix | ||
generateDoc.py | ||
mergeJSON.py | ||
options-to-docbook.xsl | ||
optionsJSONtoXML.nix | ||
postprocess-option-descriptions.xsl | ||
sortXML.py |