Module Odoc_odocSource
Computes the dependencies required for each step of the pipeline to work correctly on a given input.
Produces html fragment files from a mld file.
Copies odoc's support files (default theme and JS files) to a specified location.