Closed UnixJunkie closed 6 years ago
for example, in this project they are compiled but not installed: https://github.com/UnixJunkie/cpmlib/blob/master/cpm.obuild
MakeROC.cmt is built but not installed
I guess they are produced by the -bin-annot compilation flag. So, their production is optional. But, if they are there, they should be installed.
the .cmit files were not installed because they are not produced in my project. However, if they were produced, they should be installed. I am sending a patch for .cmt files.
corresp. PR was merged so closing
so, no ocamldoc shows up in ocp-browser when you hit the space bar