Odoc_odoc.Support_filesSourceCopies odoc's support files (default theme and JS files) to a specified location.
write ?without_theme output_dir copies the support files to the output_dir. If without_theme is true the theme will not be copied, the default value is false.
Prints, to STDOUT, the names of the files that calling Support_files.write would output, one filename per line.