odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Rendered source code only works on (text) preprocessed files

Open panglesd opened this issue 1 year ago • 0 comments

It is unclear how this would work in practice, but it would be nice to see the files as they are in the source tree.

Possibly with other files (dune files, Makefiles, ...)

panglesd avatar Jan 22 '25 17:01 panglesd