···4040# `false`, and a different renderer may be used with different bugs and performance
4141# characteristics but (hopefully) indistinguishable output.
4242, allowDocBook ? true
4343+# whether lib.mdDoc is required for descriptions to be read as markdown.
4444+, markdownByDefault ? false
4345}:
44464547let
···152154 python ${./mergeJSON.py} \
153155 ${lib.optionalString warningsAreErrors "--warnings-are-errors"} \
154156 ${lib.optionalString (! allowDocBook) "--error-on-docbook"} \
157157+ ${lib.optionalString markdownByDefault "--markdown-by-default"} \
155158 $baseJSON $options \
156159 > $dst/options.json
157160