Odoc_odoc.Support_files
SourceCopies 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.