@doc-json ========= This alias builds documentation for public libraries as JSON files. These are produced by ``odoc``'s option ``--as-json`` and can be consumed by external tools.